Mathematical Foundations of Computer Science 1986 12th Symposium held at Bratislava, Czechoslovakia, August 25-29, 1986. Proceedings Gruska Jozef Heftet / 1986 / Engelsk