Algebraische Spezifikation abstrakter Datentypen Eine Einführung in die Theorie Ehrich, Hans-Dieter Heftet / 1989 / Tysk
Objects, Agents, and Features International Seminar, Dagstuhl Castle, Germany, February 16-21, 2003, Revised and Invited Papers Ryan, Mark Heftet / 2004 / Engelsk
