Reasoning Web First International Summer School 2005, Msida, Malta, July 25-29, 2005, Revised Lectures Eisinger Norbert Heftet / 2005 / Engelsk
Design Patterns für mathematische Beweise Ein Leitfaden insbesondere für Informatiker Ohlbach, Hans Jürgen Heftet / 2017 / Tysk
