Harel, D. (1978). Arithmetical completeness in logics of programs. Mass. Inst. of Technology, Lab. for Computer Science.
Chicago-Zitierstil (17. Ausg.)Harel, David. Arithmetical Completeness in Logics of Programs. Cambridge, Mass: Mass. Inst. of Technology, Lab. for Computer Science, 1978.
MLA-Zitierstil (9. Ausg.)Harel, David. Arithmetical Completeness in Logics of Programs. Mass. Inst. of Technology, Lab. for Computer Science, 1978.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.