Hopkins, D., & Ong, L. (2009). Homer: A Higher−order Observational equivalence Model checkER.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)Hopkins, D., و L. Ong. Homer: A Higher−order Observational Equivalence Model CheckER. 2009.
توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)Hopkins, D., و L. Ong. Homer: A Higher−order Observational Equivalence Model CheckER. 2009.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.