Mathematical foundations of computer science 1981 : 10th symposium, Štrbské pleso, Czechoslovakia, August 31 - September 4, 1981 : proceedings - Gruska, Jozef; Chytil, Michal, 1949- (Berlin ; Heidelberg ; New York : Springer-Verlag, 1981)