"Production Cell": A Comparative Study in Formal Specification and Verification. - Claus Lewerentz; Thomas Lindner 001 (KORSO Book, 1995)

Introduction. - Claus Lewerentz; Thomas Lindner 001 (Formal Development of Reactive Systems, 1995)

Comparative Survey. - Claus Lewerentz; Thomas Lindner 001 (Formal Development of Reactive Systems, 1995)

On Object-Oriented Design and Verification. - Claus Lewerentz; Thomas Lindner 001; Andreas Rüping; Emil Sekerinski (KORSO Book, 1995)

FAMOOS Workshop on Object-Oriented Software Evolution and Re-engineering - Introduction. - Eduardo Casais; Ari Jaaksi; Thomas Lindner 001 (ECOOP Workshops, 1997)

Formale Methoden zur Konstruktion eingebetteter Software. - Thomas Lindner 001 (Logos-Verlag, 1999)