Antoniou, G. (1989). Über die Verifikation modularer Programme.
Chicago-Zitierstil (17. Ausg.)Antoniou, Grigoris. Über Die Verifikation Modularer Programme. 1989.
MLA-Zitierstil (9. Ausg.)Antoniou, Grigoris. Über Die Verifikation Modularer Programme. 1989.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.