Trích dẫn kiểu APA (xuất bản lần thứ 7)
Барендрегт Х. П. Ламбда-исчисление: Ламбда-исчисление. NCFU.
Trích dẫn kiểu Chicago (xuất bản lần thứ 7)Барендрегт Х. П. Ламбда-исчисление: Ламбда-исчисление. NCFU.
Trích dẫn kiểu MLA (xuất bản lần thứ 8)Барендрегт Х. П. Ламбда-исчисление: Ламбда-исчисление. NCFU.
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%.