Architecture Independent Massive Parallelization of Divide-and-Conquer Algorithms. - Klaus Achatz; Wolfram Schulte (MPC, 1995)

Massive Parallelization of Divide-and-Conquer Algorithms over Powerlists. - Klaus Achatz; Wolfram Schulte (Sci. Comput. Program., 1996)

A powerful transformation rule, its applications and variants. - Klaus Achatz; Helmuth Partsch (Algorithmic Languages and Calculi, 1997)

Functional Object-Oriented Programming with Object-Gofer. - Wolfram Schulte; Klaus Achatz (GI Jahrestagung, 1997)

A Formal OO Method Inspired by Fusion and Object-Z. - Klaus Achatz; Wolfram Schulte (ZUM, 1997)

Formale objektorientierte Softwareentwicklung mit Fox. - Klaus Achatz; Wolfram Schulte (Inform. Forsch. Entwickl., 1997)

Systematische Modellbildung für Prozeßautomatisierungssysteme. - Klaus Achatz (2000)