Jozef Gruska Mathematical Foundations of Computer Science 1977, 6th Symposium, Tatranska Lomnica, Czechoslovakia, September 5-9, 1977, Proceedings MFCS Lecture Notes in Computer Science 53 Springer 1977 db/conf/mfcs/mfcs77.html