APA (7th ed.) Citation

Luft, A. L. (1975). Grundlagen einer Methode für die rechnergestützte Verifikation von while-Programmen während der Programmerstellung.

Chicago Style (17th ed.) Citation

Luft, Alfred Lothar. Grundlagen Einer Methode Für Die Rechnergestützte Verifikation Von While-Programmen Während Der Programmerstellung. Erlangen, 1975.

MLA (9th ed.) Citation

Luft, Alfred Lothar. Grundlagen Einer Methode Für Die Rechnergestützte Verifikation Von While-Programmen Während Der Programmerstellung. 1975.