Mathematical Foundations of Computer Science 1986Jozef Gruska, Branislav Rovan, Juraj Wiedermann₹5,089