1. Can programming be liberated from the von Neumann style? a functional style and its algebra of programs;Backus;Communication ACM,1978
2. Combinatory logic: pure, applied and typed;Bimbo,2012
3. The calculi of lambda-conversion;Church,1941
4. Theoretical foundations of programming methodology: lecture notes of an international summer school, directed By F. L. Bauer, E. W. Dijkstra and C. a. R. Hoare;Dijkstra,1982
5. Introduction to combinatory logic;Hindley,1972