Mathematical Foundations of Computer Science 1995: 20th International Symposium, Held August 28 - September 1, 1995 (Symposium on Mathematical Foundations ... Foundations of Computer Science)