MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE. 1986 : Proceedings of the 12th symposium, Bratislava, Czechoslovakia, August 25 - 29, 1986 - Ablaev, F. M. (Lecture notes in computer science, 1986)