Antoniou, G. (1984). Incompleteness of HOARE's calculus over simple datastructures.
Chicago-Zitierstil (17. Ausg.)Antoniou, Grigoris. Incompleteness of HOARE's Calculus over Simple Datastructures. Karlsruhe, 1984.
MLA-Zitierstil (9. Ausg.)Antoniou, Grigoris. Incompleteness of HOARE's Calculus over Simple Datastructures. 1984.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.