@misc{
    PROD93,
    author = {Varpaaniemi, Kimmo and Helander, Johannes and Janhunen, Tomi and Kangas, Ismo and Nurmela, Kari and Oksanen, Kenneth and Pesonen, Olavi and Rauhamaa, Marko and Reilly, James and Suonsivu, Heikki and Valkealahti, Kimmo and V{\"a}is{\"a}nen, Pauli and Gr{\"o}nberg, Peter and Halme, Jaakko and Hiekkanen, Kari and Pyssysalo, Tino and Tiusanen, Mikko},
    note = "Computer Program",
    howpublished = "http://www.tcs.hut.fi/Software/prod/",
    year = "1993",
    url = "http://www.tcs.hut.fi/Software/prod/",
    title = "{PROD} 1.1 --- {A} {P}r/{T} reachability analysis tool."
}