Author,Title,Journal,ISSN,Publisher,Date,Volume,Number,Page,URL,URL(DOI)
N.G de Bruijn,"Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theorem",Indagationes Mathematicae (Proceedings),1385-7258,Elsevier BV,1972,75,5,381-392,https://cir.nii.ac.jp/crid/1360574095165817216,https://doi.org/10.1016/1385-7258(72)90034-0