Ohlbach, H. J., & Eisinger, N. (2017). Design Patterns für mathematische Beweise: Ein Leitfaden insbesondere für Informatiker. Springer Vieweg.
Chicago-Zitierstil (17. Ausg.)Ohlbach, Hans Jürgen, und Norbert Eisinger. Design Patterns Für Mathematische Beweise: Ein Leitfaden Insbesondere Für Informatiker. Berlin: Springer Vieweg, 2017.
MLA-Zitierstil (9. Ausg.)Ohlbach, Hans Jürgen, und Norbert Eisinger. Design Patterns Für Mathematische Beweise: Ein Leitfaden Insbesondere Für Informatiker. Springer Vieweg, 2017.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.