@misc{
    Lat04,
    author = "Latvala, Timo",
    howpublished = "Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland",
    note = "Software",
    year = "2004",
    url = "http://www.tcs.hut.fi/~timo/scheck/",
    title = "scheck1.2"
}