Mathematical Foundations of Computer Science. Proceedings of Symposium and Summer School ,High Tatras,September 3-8 ,1973. (Bratislava.)
Mathematical Institute of the Slovak Academy of Sciences.