@misc{
    satu,
    author = {Hyv{\"a}rinen, Antti E. J.},
    title = "SATU (SAT Ubiquitous)",
    url = "http://www.tcs.hut.fi/Software/satu/",
    month = "June",
    note = "Computer program",
    flags = "ACPT, SOFTWARE",
    year = "2006"
}