Corrado Böhm, Mariangiola Dezani-Ciancaglini: Lambda-terms as total or partial functions on normal forms. Lambda-Calculus and Computer Science Theory 1975: 96-121