Mathematical foundations of computer science 1980 : proceedings of the 9th symposium in Rydzyna, Poland, september 1-5, 1980. - Dembinski, Piotr (Springer Verlag, 1980)