APE: An Expert System for Automatic Programming from Abstract Specifications of Data Types and Algorithms. - Ulrich Bartels; Walter G. Olthoff; Peter Raulefs (IJCAI, 1981)

An Expert System for Implementing Abstract Sorting Algorithms on Parameterized Abstract Data Types. - Ulrich Bartels; Walter G. Olthoff; Peter Raulefs (GWAI, 1981)

An overview on ModPascal. - Walter G. Olthoff (ACM SIGPLAN Notices, 1985)

Automatic Theorem Proving in the ISDV System. - Christoph Beierle; Walter G. Olthoff; Angi Voß (CADE, 1986)

Augmentation of Object-Oriented Programming by Concepts of Abstract Data Type Theory: The ModPascal Experience. - Walter G. Olthoff (OOPSLA, 1986)

A Software Development Environment Integrating Specification and Programming Languages. - Christoph Beierle; Walter G. Olthoff; Angi Voß (Software-Architektur, 1986)

The Module Concept of Modpascal: Integration of Abstract Data Types in an Imperative Programming Language. - Walter G. Olthoff (Software-Architektur, 1986)

The connection between applicative and procedural languages in an integrated software development and verification system. - Walter G. Olthoff (1987)

Qualitätssicherung durch Programmverifikation und algebraische Methoden in der Softwareentwicklung. - Christoph Beierle; Walter G. Olthoff; Angi Voß (Inform. Spektrum, 1988)

F-Bounded Polymorphism for Object-Oriented Programming. - Peter S. Canning; William R. Cook; Walter L. Hill; Walter G. Olthoff; John C. Mitchell (FPCA, 1989)

Interfaces for Strongly-Typed Object-Oriented Programming. - Peter S. Canning; William R. Cook; Walter L. Hill; Walter G. Olthoff (OOPSLA, 1989)

An Algebraic Specification of Method Combination for the Common Lisp Object System. - Walter G. Olthoff; James Kempf (LISP Symb. Comput., 1989)