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

Bradbury, J. S. An empirical framework for comparing effectiveness of testing and property-based formal analysis. Software engineering notes..

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

Bradbury, Jeremy S. "An Empirical Framework for Comparing Effectiveness of Testing and Property-based Formal Analysis." Software Engineering Notes. .

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

Bradbury, Jeremy S. "An Empirical Framework for Comparing Effectiveness of Testing and Property-based Formal Analysis." Software Engineering Notes., .