Author: International Symposium on Mathematical Foundations of Computer Science (18th 1993 Gdańsk, Poland)