Melham, T. (1994). The HOL Logic Extended with Quantification over Type Variables.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)Melham, T. The HOL Logic Extended with Quantification over Type Variables. 1994.
توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)Melham, T. The HOL Logic Extended with Quantification over Type Variables. 1994.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.