Lambda-Calculus Models and Extensionality. - R. Hindley; G. Longo (Math. Log. Q., 1980)