Mathematical foundations of computer science 1988 : proceedings of the 13th Symposium Carlsbad, Czechoslovakia, August 29-September 2, 1988 - Chytil, Michael P.; Janiga, Ladislav; Koubek, Václav, 1948-2016 (Springer-Verlag, 1988)