//-->
Vom Problem zum Programm : wie BASIC-Programme entstehen
Sacht, Hans-Joachim, (1986)
Transaktionssysteme : eine Untersuchung des Funktionsumfangs, der Realisierungsmöglichkeiten und des Leistungsverhaltens
Meyer-Wegener, Klaus, (1986)
The connection between applicative and procedural languages in an integrated software development and verification system
Olthoff, Walter, (1987)