Dana S. Scott: Some philosophical issues concerning theories of combinators. Lambda-Calculus and Computer Science Theory 1975: 346-366