Marchiori, E. (1992). Proving run-time properties of general programs w.r.t. constructive negation.
Chicago-Zitierstil (17. Ausg.)Marchiori, Elena. Proving Run-time Properties of General Programs W.r.t. Constructive Negation. Amsterdam, 1992.
MLA-Zitierstil (9. Ausg.)Marchiori, Elena. Proving Run-time Properties of General Programs W.r.t. Constructive Negation. 1992.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.