Mathematical foundations of computer science 1988 : proceedings of the 13th symposium, Carlsbad, Czechoslovakia, August 29-September 2, 1988 - Chytil, M. (Michal); Janiga, L. (Ladislav), 1954-; Koubek, Václav (Lecture notes in computer science, 1988)