Mathematical Foundations of Computer Science 1984: 11th Symposium Praha, Czechoslovakia September 3-7, 1984: Proceedings by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (Paperback, 1984)