Mathematical Foundations of Computer Science 1994

by Igor Privara, Branislav Rovan, Peter Ruzicka