Mathematical foundations of computer science 1986 : proceedings of the 12th Symposium, Bratislava, Czechoslovakia, August 25-29, 1986 - Gruska, Jozef, 1933-2025; Rovan, Branislav, 1947-; Wiedermann, Jiří, 1948- (Lecture notes in computer science, 1986)