Mathematical Foundations Of Computer Science: Proceedings Of The Symposium, 4th, Marianske Lazne, Sept. 1-5, 1975 [Hardcover]