Clarke, E. M. (1976). Completeness and incompleteness theorems for hoare-like axiom systems ([Mikrofiche-Ausg.].).
Chicago-Zitierstil (17. Ausg.)Clarke, Edmund M. Completeness and Incompleteness Theorems for Hoare-like Axiom Systems. [Mikrofiche-Ausg.]. 1976.
MLA-Zitierstil (9. Ausg.)Clarke, Edmund M. Completeness and Incompleteness Theorems for Hoare-like Axiom Systems. [Mikrofiche-Ausg.]. 1976.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.