J. Becvar

• Mathematical Foundations of Computer Science 1975
• Mathematical Foundations of Computer Science 1979