Mathematical foundations of computer science 1981 : proceedings, 10th symposium, Strbské Pleso, Czechoslovakia, August 31-September 4, 1981 - Gruska, J. (Jozef); Chytil, M. (Michal) (Lecture notes in computer science ;, 1981)