Louis Nolin: Les modèles informatiques des lambda-calculus. Lambda-Calculus and Computer Science Theory 1975: 166-176