Reference:
Marko Mäkelä, Kimmo Varpaaniemi, and Timo Latvala. Maria: The modular reachability analyzer. on the World Wide Web, 2000. computer program.
Suggested BibTeX entry:
@misc{MakelaMarko-Makela:sw-maria, author = {Marko M{\"a}kel{\"a} and Kimmo Varpaaniemi and Timo Latvala}, howpublished = {on the World Wide Web}, note = {computer program}, title = {Maria: The Modular Reachability Analyzer}, year = {2000}, }