Author: SOFSEM 2004 (2004 Prague, Czech Republic)