Symposium on Mathematical Foundations of Computer Science (1972- ) (9th 1980 Rydzyna, Poland)