Józef Winkowski Mathematical Foundations of Computer Science 1978, Proceedings, 7th Symposium, Zakopane, Poland, September 4-8, 1978 MFCS Lecture Notes in Computer Science 64 Springer 1978 db/conf/mfcs/mfcs78.html