Author: Symposium on Mathematical Foundations of Computer Science (1972- ) (8th 1979 Olomouc, Czech Republic)