Mathematical Foundations of Computer Science 1993: 18th International Symposium, Mfcs'93, Gdansk, Poland, August 30-September 3, 1993 Proceedings ... FOUNDATIONS OF COMPUTER SCIENCE)