Wolfgang Goerigk, Hans Langmaack.

Will Informatics be able to Justify the Construction of Large Computer Based Systems? 
Technical Report Nr. 2015, Institut für Informatik und Prakt. Math. der Christian-Albrechts Universität, June 2001. [Postscript]

Wolfgang Goerigk und Hans Langmaack.

Compiler Implementation Verification and Trojan Horses (Draft Extended Version). 
Verifix technical report, 2001. [BibTeX] [Postscript]. 

Axel Dold, Thilo Gaul, Wolfgang Goerigk, Gerhard Goos, Andreas Heberle, Friederich W. von Henke, Ulrich Hoffmann, Hans Langmaack, Vincent Vialard, Andreas Wolf, und Wolf Zimmermann. 

Zwischenbericht Verifix. 
Technical Report Verifix-ZB99, University of Karlsruhe, Karlsruhe, Kiel, Ulm, March 1999. [BibTeX] [Postscript]. 

Wolf Zimmermann, Andreas Heberle, und Wolfgang Goerigk. 

The Verifix Approach Towards the Construction of Correct Compilers. 
Verifix Technical Report 1999. [BibTeX],

Wolfgang Goerigk und Ulrich Hoffmann. 

Compiling ComLisp to Executable Machine Code: Compiler Construction. 
Technical Report Nr. 9812, Institut für Informatik und Prakt. Math. der Christian-Albrechts Universität, October 1998. [BibTeX] [Postscript]. 

Wolfgang Goerigk und Ulrich Hoffmann. 

The Compiling Specification from ComLisp to Executable Machine Code. 
Technical Report Nr. 9713, Institut für Informatik und Prakt. Math. der Christian-Albrechts Universität, December 1997. [BibTeX] [Postscript]. 

Thilo Gaul, Wolfgang Goerigk, Andreas Heberle, Ulrich Hoffmann, und Wolf Zimmermann. 

Correct Compilation of a While-Language with Parameterless Recursive Procedures. 
Technical Report Verifix/UKA/??, Univ. of Karlsruhe, December 1997. [BibTeX]. 

Wolfgang Goerigk. 

Denotational Semantics for ComLisp and SIL. 
Verifix-Arbeitsbericht Verifix/CAU/2.8, CAU Kiel, December 1997. [BibTeX] [Postscript]. 

Wolfgang Goerigk, Ulrich Hoffmann, und Hans Langmaack. 

Rigorous Compiler Implementation Correctness: How to Prove the Real Thing Correct. 
Verifix-Arbeitsbericht Verifix/CAU-Ulm/2.6, CAU Kiel, January 1997. [BibTeX] [Postscript]. 

Wolfgang Goerigk. 

An Exercise in Program Verification: The ACL2 Correctness Proof of a Simple Theorem Prover Executable. 
Verifix-Arbeitsbericht Verifix/CAU/2.4, CAU Kiel, January 1997. [BibTeX] [Postscript]. 

Wolfgang Goerigk und Markus Müller-Olm. 

Erhaltung partieller Korrektheit bei beschränkten Maschinenressourcen. - Eine Beweisskizze.
Verifix-Arbeitsbericht Verifix/CAU/2.5, CAU Kiel, 1996. [BibTeX] [Postscript]. 

Axel Dold, Thilo Gaul, Wolfgang Goerigk, Gerhard Goos, Andreas Heberle, Friederich W. von Henke, Ulrich Hoffmann, Hans Langmaack, Markus Müller-Olm, Holger Pfeifer, Harald Rueß, und Wolf Zimmermann. 

Zwischenbericht Verifix. 
Technical Report Verifix/UKA/1.60, University of Karlsruhe, Karlsruhe, Kiel, Ulm, December 1996. [BibTeX] [Postscript]. 

Wolfgang Goerigk und Ulrich Hoffmann. 

The Compiler Implementation Language ComLisp. 
Verifix-Arbeitsbericht Verifix/CAU/1.7, CAU Kiel, June 1996. [BibTeX]. 

Wolfgang Goerigk. 

Transputer State and Instruction Set Specification and Initial Boot Protocol. 
Verifix-Arbeitsbericht Verifix/CAU/2.1, CAU Kiel, July 1995. [BibTeX] [Postscript]. 

A. Dold, T. Gaul, W. Goerigk, G. Goos, A. Heberle, F. von Henke, U. Hoffmann, H. Langmaack, H. Pfeifer, H. Ruess, und W. Zimmermann. 

Definition of the Language IS. 
Verifix Working Paper [Verifix/UKA/1], University of Karlsruhe/Kiel/Ulm, 1995. [BibTeX]. 

Harry Bretthauer, Thomas Christaller, Horst Friedrich, Wolfgang Goerigk, Winfried Heicking, Ulrich Hoffmann, Andreas Kind, Bert Klude, Heinz Knutzen, Jürgen Kopp, E. Ulrich Kriegel, Ingo Mohr, Rainer Rosenmüller, und Friedemann Simon. 

Von der APPLY-Methodik zum System. 
Abschlußbericht des BMFT-Projektes APPLY APPLY/XIII/10, CAU/GMD/ISST/VW-GEDAS, Sankt Augustin, June 1994. [BibTeX]. 

Wolfgang Goerigk, Ulrich Hoffmann, und Heinz Knutzen. 

COMMONLISP0 and CLOS0: The Language Definition. 
APPLY-Arbeitspapier APPLY/CAU/II.2/2, Christian-Albrechts-Universität, Kiel, September 1993. [BibTeX]. 

Wolfgang Goerigk und Friedemann Simon. 

Migration und Kompilation in Lisp: Ein Weg von Prototypen zu Anwendungen. 
APPLY-Arbeitspapier APPLY/CAU/IV/2, Christian-Albrechts-Universität, Kiel, May 1993. [BibTeX]. 

Harry Bretthauer, Thomas Christaller, Horst Friedrich, Wolfgang Goerigk, Winfried Heicking, Ulrich Hoffmann, Dieter Hovekamp, Heinz Knutzen, Jürgen Kopp, E. Ulrich Kriegel, Ingo Mohr, Rainer Rosenmüller, und Friedemann Simon. 

APPLY: A modern and practical Lisp. 
APPLY-Arbeitspapier APPLY/GMD/XIII/6, CAU/GMD/ISST/VW-GEDAS, Sankt Augustin, September 1992. [BibTeX]. 

Harry Bretthauer, Thomas Christaller, Horst Friedrich, Wolfgang Goerigk, Winfried Heicking, Ulrich Hoffmann, Dieter Hovekamp, Heinz Knutzen, Jürgen Kopp, E. Ulrich Kriegel, Ingo Mohr, Rainer Rosenmüller, und Friedemann Simon. 

Das Verbundvorhaben APPLY: Ein modernes und bedarfsgerechtes Lisp. 
APPLY-Arbeitspapier APPLY/GMD/XIII/5, CAU/GMD/ISST/VW-GEDAS, Sankt Augustin, July 1992. [BibTeX]. 

Harry Bretthauer, Thomas Christaller, Horst Friedrich, Wolfgang Goerigk, Winfried Heicking, Dieter Hovekamp, Heinz Knutzen, Jürgen Kopp, E. Ulrich Kriegel, Ingo Mohr, Rainer Rosenmüller, und Friedemann Simon. 

Spezifikation der Funktionalität des APPLY-Systems. 
APPLY-Arbeitspapier APPLY/IfKI/I.1/1, CAU/GMD/IfKI/VW-GEDAS, Sankt Augustin, October 1991. [BibTeX]. 

D. Ackermann, W. Goerigk, und F. Simon. 

Kompilation von Wissensrepräsentationssprachen am Beispiel von BABYLON. 
Institutsbericht Nr. 8810, Institut für Informatik und Prakt. Math. der Christian-Albrechts Universität, Kiel, 1988. [BibTeX].