Mathematical Foundations of Computer Science 1977 6th Symposium, Tatranska Lomnica September 5-9, 1977. Proceedings - Gruska, Jozef (Lecture Notes in Computer Science Ser.)