Methodisches Programmieren Entwicklung von Algorithmen durch schrittweise Verfeinerung Hommel, Günter Innbundet / 1983 / Tysk
Compiler Construction 8th International Conference, CC'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings Jähnichen, Stefan Heftet / 1999 / Engelsk
KORSO: Methods, Languages, and Tools for the Construction of Correct Software Final Report Broy, Manfred Heftet / 1995 / Engelsk
Advanced Parallel Processing Technologies 5th International Workshop, APPT 2003, Xiamen, China, September 17-19, 2003, Proceedings Zhou Xingming Heftet / 2003 / Engelsk
