Melham, T. (1988). Automating Recursive Type Definitions in Higher Order Logic. Computer Laboratory‚ University of Cambridge.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)Melham, T. Automating Recursive Type Definitions in Higher Order Logic. Computer Laboratory‚ University of Cambridge, 1988.
توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)Melham, T. Automating Recursive Type Definitions in Higher Order Logic. Computer Laboratory‚ University of Cambridge, 1988.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.