توثيق جمعية علم النفس الأمريكية APA (الطبعة السابعة)

Ostroff, J., Wang, C., Kerfoot, E., & Torshizi, F. (2006). Automated Model−Based Verification of Object−Oriented Code.

توثيق أسلوب شيكاغو (الطبعة السابعة عشر)

Ostroff, J., C. Wang, E. Kerfoot, و F. Torshizi. Automated Model−Based Verification of Object−Oriented Code. 2006.

توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)

Ostroff, J., et al. Automated Model−Based Verification of Object−Oriented Code. 2006.