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