Mathematical foundations of computer science 1981 : PROCEEDINGS, 10TH SYMPOSIUM ŠTRBSKOE PLESO, CZECHOSLOVAKIA AUGUST 31- SEPTEMBER 4, 1981. - Gruska, Jozef (Springer Verlag, 1981)