From mathematical specifications to parallel programs on a message-based system. - Thomas Ruppelt; Guido Wirtz (ICS, 1988)

Automatic transformation of high-level object-oriented specifications into parallel programs. - Thomas Ruppelt; Guido Wirtz (Parallel Comput., 1989)

Eine deklarative Spezifikationsmethode zur Programmierung von Superrechnern. - Thomas Ruppelt (1990)