توثيق جمعية علم النفس الأمريكية APA (الطبعة السابعة)
Michael Johnson, D. P. Algebraic Methodology and Software Technology: 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010, Revised Selected Papers. Springer.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)
Michael Johnson, Dusko Pavlovic. Algebraic Methodology and Software Technology: 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010, Revised Selected Papers. Berlín, Alemania: Springer.
توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)
Michael Johnson, Dusko Pavlovic. Algebraic Methodology and Software Technology: 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010, Revised Selected Papers. Springer.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.