(2001). High assurance systems. Oxford Univ. Press.
Chicago-Zitierstil (17. Ausg.)High Assurance Systems. Oxford [u.a.]: Oxford Univ. Press, 2001.
MLA-Zitierstil (9. Ausg.)High Assurance Systems. Oxford Univ. Press, 2001.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.