Jozef Gruska, Michal Chytil: Mathematical Foundations of Computer Science 1981, Strbske Pleso, Czechoslovakia, August 31 - September 4, 1981, Proceedings. Lecture Notes in Computer Science 118, Springer 1981, ISBN 3-540-10856-4