Meyer, A. R. (1986). Floyd-hoare logic defines semantics. Mass. Inst. of Technology, Laboratory for Computer Science.
Chicago-Zitierstil (17. Ausg.)Meyer, Albert R. Floyd-hoare Logic Defines Semantics. Cambridge, Mass: Mass. Inst. of Technology, Laboratory for Computer Science, 1986.
MLA-Zitierstil (9. Ausg.)Meyer, Albert R. Floyd-hoare Logic Defines Semantics. Mass. Inst. of Technology, Laboratory for Computer Science, 1986.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.