Mathematical foundations of computer science 1977 : PROCEEDINGS,6TH SYMPOSIUM, TATRANSKA LOMNICA SEPTEMBER 5-9,1977. - Gruska, J. (Berlin : Springer Verlag, 1977)