Mathematical foundations of computer science 1986 : proceedings of the 12th symposium, Bratislava, Czechoslovakia, August 25-29, 1986 - Gruska, J. (Jozef); Rovan, B. (Branislav); Wiedermann, J. (Juraj) (Lecture notes in computer science, 1986)