"Konstruktive Methode." . . . . "Programmierung." . . . . . . "Fachsprachliche Entwicklung einer Theorie der Programme" . . . . . . .