Design Patterns für mathematische Beweise ein Leitfaden insbesondere für Informatiker - Ohlbach, Hans Jürgen; Eisinger, Norbert (Springer Vieweg, 2017)