Author: Symposium on Mathematical Foundations of Computer Science (13th 1988 Carlsbad, Czechoslovakia)