Piotr Dembinski Mathematical Foundations of Computer Science 1980 (MFCS'80), Proceedings of the 9th Symposium, Rydzyna, Poland, September 1-5, 1980 MFCS Lecture Notes in Computer Science 88 Springer 1980 db/conf/mfcs/mfcs80.html 3-540-10027-X