Eine Methode zur rechnergestützten Verifikation von while-Programmen. - Alfred L. Luft (Fachtagung über Programmiersprachen, 1976)

Vom Konzept zur abstrakten Spezifikation: Bemerkungen zur Bedeutung konstruktiver abstrakter Datentypen. - Alfred L. Luft; D. Steinbauer (Software Engineering, 1980)

Software-Engineering und konstruktive Wissenschaftstheorie - Ein Beitrag zur Methodologie des Software Engineering. - Alfred L. Luft (Angew. Inform., 1981)

Rationaler Sprachgebrauch und orthosprachliche Standardisierung als Grundlagen des Software Engineering. - Alfred L. Luft (Inform. Spektrum, 1982)

Zur Bedeutung formaler Spezifikationsmethoden beim Software Engineering. - Alfred L. Luft (Angew. Inform., 1982)

Scientific-Theoretic Foundations of the Concept of Abstract Data Type. - Alfred L. Luft (ADT, 1983)

Abstraktion, Idealisierung und Modellierung bei der Spezifikation, Konstruktion und Verifikation von Software-Systemen. - Rüdiger Inhetveen; Alfred L. Luft (Angew. Inform., 1983)

Der Modellierung-Schritt bei der Spezifikation: Konstruktion und Verifikation großer Software-Systeme. - Alfred L. Luft (Entwurf großer Software-Systeme, 1984)

Ein Begriffsystem für die Softwaretechnik. Vorschlag zur Terminologie. - Wolfgang Hesse; Hans Keutgen; Alfred L. Luft; H. Dieter Rombach (Inform. Spektrum, 1984)

Zur Bedeutung von Modellen und Modellierungs-Schritten in der Softwaretechik. - Alfred L. Luft (Angew. Inform., 1984)

Prädikation, Regulation und Abstraktion. Ein Beitrag zu den philosophischen und terminologischen Grundlagen der Wissensrepräsentation. - Alfred L. Luft (Angew. Inform., 1985)

Bottom-up- und Top-down-Vorgehensweise beim Datenbankentwurf. Ein Beitrag zur pragmatischen und methodischen Fundierung des Datenbankentwurfs. - Alfred L. Luft (Angew. Inform., 1985)

Der Problemansatz in der Informatik. Ein Beitrag zu einem systematischen Verständnis der Informatik. - Alfred L. Luft (Angew. Inform., 1986)

Die Konsenstheorie der Wahrheit als Fundament für eine Theorie der Informatik. - Alfred L. Luft (FIFF Jahrestagung, 1989)

Informatik als Technikwissenschaft, Thesen zur Informatik-Entwicklung. - Alfred L. Luft (Inform. Spektrum, 1989)