Est. 2006-01-01; on http://www.fi.muni.cz/~adelton/ since 1996-02-13