Author: Symposium on Mathematical Foundations of Computer Science (1972- ) 2001 Mariánské Láznĕ, Czech Republic)