Mathematical foundations of computer science, 1980 : proceedings of the 9th symposium held in Rydzyna, Poland, September 1-5, 1980 - Dembinski, Piotr (Lecture notes in computer science ;, 1980)