Author: Symposium on Mathematical Foundations of Computer Science (1972- ) 199