Das Verbundprojekt APPLY: Ein modernes und bedarfgerechtes LISP. - Harry Bretthauer; Thomas Christaller; Horst Friedrich; Wolfgang Goerigk; Winfried Heicking; Ulrich Hoffmann 002; Dieter Hovekamp; Heinz Knutzen; Jürgen Kopp; E. Ulrich Kriegel; Ingo Mohr; Rainer Rosenmüller; et al. (Künstliche Intell., 1992)

Komplettkompilation von Lisp: eine Studie zur Übersetzung von Lisp-Software für C-Umgebungen. - Wolfgang Goerigk; Harold Boley; Ulrich Hoffmann 002; Markus Perling; Michael Sintek (Künstliche Intell., 1996)

Rigorous Compiler Implementation Correctness: How to Prove the Real Thing Correct. - Wolfgang Goerigk; Ulrich Hoffmann 002 (FM-Trends, 1998)

Compiler implementation verification through rigorous syntactical code inspection. - Ulrich Hoffmann 002 (1998)