Author: Symposium on Mathematical Foundations of Computer Science (1972- ) (20th 1995 Prague, Czech Republic)