Source: http://www.tcs.hut.fi/Publications/bibdb/HUT-TCS-A99.pdf