- Kastens, Kleine Büning: Modellierung - Grundlagen und formale Methoden, Hanser (2014) (Aktuelle Fehlerliste)
- Goos: Vorlesungen über Informatik, Band 1, Springer (2005)
- Scheurer: Foundations of Computing: System Development With Set Theory and Logic, Addison-Wesley (1994)
- Velleman: How to Prove It: A Structured Approach, Cambridge University Press (2006)
- Steger: Diskrete Strukturen 1. Kombinatorik, Graphentheorie, Algebra[Taschenbuch], Springer Verlag Deutschland