Abramsky, S., & Lenisa, M. (2001). Fully Complete Minimal PER Models for the Simply Typed λ−calculus.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)Abramsky, S., و M. Lenisa. Fully Complete Minimal PER Models for the Simply Typed λ−calculus. 2001.
توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)Abramsky, S., و M. Lenisa. Fully Complete Minimal PER Models for the Simply Typed λ−calculus. 2001.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.