http://www.math.cas.cz/~mfcs2001/main.html