Formal Program Development IFIP TC2/WG 2.1 State-of-the-Art Report Möller, Bernhard Heftet / 1993 / Engelsk
Requirements-Engineering systematisch Modellbildung für softwaregestützte Systeme Partsch, Helmuth Heftet / 2010 / Tysk
