Mathematical foundations of computer science 1981 : PROCEEDINGS, 10TH SYMPOSIUM ŠTRBSKOE PLESO, CZECHOSLOVAKIA AUGUST 31- SEPTEMBER 4, 1981. - Gruska, Jozef; Chitil, Michal (Lecture Notes in Computer Science ;, 1981)