Hoare, C., & He, J. (2015). Natural Transformations and Data Refinement.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)Hoare, C., و J. He. Natural Transformations and Data Refinement. 2015.
توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)Hoare, C., و J. He. Natural Transformations and Data Refinement. 2015.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.