International Symposium on Mathematical Foundations of Computer Science (17th 1992 Prague, Czechoslovakia)