Jiri Sgall

• Mathematical Foundations of Computer Science 2001
• Mathematical Foundations of Computer Science 2013