Mathematical Foundations of Computer Science 1986: Proceedings of the 12th Symposium Bratislava, Czechoslovakia August 25-29, 1986 (SYMPOSIUM ON ... FOUNDATIONS OF COMPUTER SCIENCE)