Gibbons, J. (1999). Lecture Notes on Algebraic and Coalgebraic Methods for Calculating Functional Programs.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)Gibbons, J. Lecture Notes on Algebraic and Coalgebraic Methods for Calculating Functional Programs. 1999.
توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)Gibbons, J. Lecture Notes on Algebraic and Coalgebraic Methods for Calculating Functional Programs. 1999.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.