Abramsky, S., & Lenisa, M. (2001). Fully Complete Minimal PER Models for the Simply Typed λ−calculus.
Trích dẫn kiểu Chicago (xuất bản lần thứ 7)Abramsky, S., và M. Lenisa. Fully Complete Minimal PER Models for the Simply Typed λ−calculus. 2001.
Trích dẫn kiểu MLA (xuất bản lần thứ 9)Abramsky, S., và M. Lenisa. Fully Complete Minimal PER Models for the Simply Typed λ−calculus. 2001.
Cảnh báo: Các trích dẫn này có thể không phải lúc nào cũng chính xác 100%.