توثيق جمعية علم النفس الأمريكية APA (الطبعة السابعة)

Pierce, B. (2005). Advances topics in types and programming languages. The MIT Press.

توثيق أسلوب شيكاغو (الطبعة السابعة عشر)

Pierce, Benjamín. Advances Topics in Types and Programming Languages. Cambridge, Massachusetts, USA; London, England: The MIT Press, 2005.

توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)

Pierce, Benjamín. Advances Topics in Types and Programming Languages. The MIT Press, 2005.