Sufian Idris. (1990). Implementation of a polymorphic typechecking system. Faculty of Science , University of Manchester.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)Sufian Idris. Implementation of a Polymorphic Typechecking System. Manchester: Faculty of Science , University of Manchester, 1990.
توثيق جمعية اللغة المعاصرة MLA (الطبعة الثامنة)Sufian Idris. Implementation of a Polymorphic Typechecking System. Faculty of Science , University of Manchester, 1990.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.