Mathematical Foundations of Computer Science 1980: 9th Symposium Held in Rydzyna, Poland | Kaicus Deutschland