توثيق جمعية علم النفس الأمريكية APA (الطبعة السابعة)
ebrary, Inc, NATO Advanced Study Institute on Software and Systems Safety : Specification and Verification, Broy, M., Leuxner, C., & Hoare, A. G. (2011). Software and systems safety: Specification and verification. IOS Press.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)
ebrary, Inc, NATO Advanced Study Institute on Software and Systems Safety : Specification and Verification, Manfred Broy, Christian Leuxner, و A. G. Hoare. Software and Systems Safety: Specification and Verification. Amsterdam, The Netherlands: IOS Press, 2011.
توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)
ebrary, Inc, et al. Software and Systems Safety: Specification and Verification. IOS Press, 2011.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.