Author: Symposium on Mathematical Foundations of Computer Science (1972- ) (4th 1975 Mariánské Lázně, Czech Republic)