Hoare, C. A. R. (2001). Engineering theories of software construction: [proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Construction, 25 July - 6 August, 2000, Marktoberdorf, Germany]. IOS Press.
Chicago-Zitierstil (17. Ausg.)Hoare, Charles A. R. Engineering Theories of Software Construction: [proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Construction, 25 July - 6 August, 2000, Marktoberdorf, Germany]. Amsterdam ; Berlin <<[u.a.]>>: IOS Press, 2001.
MLA-Zitierstil (9. Ausg.)Hoare, Charles A. R. Engineering Theories of Software Construction: [proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Construction, 25 July - 6 August, 2000, Marktoberdorf, Germany]. IOS Press, 2001.