SATU (SAT Ubiquitous)

Reference:

Antti E. J. Hyvärinen. Satu (sat ubiquitous), June 2006. Computer program.

Suggested BibTeX entry:

@misc{satu,
    author = {Antti E. J. Hyv{\"a}rinen},
    month = {June},
    note = {Computer program},
    title = {SATU (SAT Ubiquitous)},
    year = {2006},
}

See www.tcs.hut.fi ...