Weber, F. (1993). Softwareentwicklung mit Logik höherer Stufe: Eine Anwendung von Theoriededuktion auf interaktives Beweisen. FZI.
Chicago-Zitierstil (17. Ausg.)Weber, Franz. Softwareentwicklung Mit Logik Höherer Stufe: Eine Anwendung Von Theoriededuktion Auf Interaktives Beweisen. Karlsruhe: FZI, 1993.
MLA-Zitierstil (9. Ausg.)Weber, Franz. Softwareentwicklung Mit Logik Höherer Stufe: Eine Anwendung Von Theoriededuktion Auf Interaktives Beweisen. FZI, 1993.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.