Mathematical foundations of computer science 1986 : proceedings - Rovan, Branislav; Wiedermann, Juraj; Gruska, Jozef (Lecture notes in computer science, 1986)