Mathematical foundations of computer science 1977 : PROCEEDINGS,6TH SYMPOSIUM, TATRANSKA LOMNICA SEPTEMBER 5-9,1977 - Gruska, J. (Lecture Notes in Computer Science ;, 1977)