http://ftp.cwi.nl/CWIreports/MAS/MAS-E0610-abs.pdf