Mathematical Foundations of Computer Science 1995: 20th International Symposium, MFCS'95, Prague, Czech Republic, August 28 - September 1, 1995. Proceedings (Lecture Notes in Computer Science)