1. Structureand Implementation of Computer Programs;Abelson,1985
2. Backus, J. (1973) Programming languagesemantics and closed applicative languages. ACM Symposium on Principles of Programming Languages,Boston, USA
3. Canprogramming be liberated from the von Neumannstyle?;Backus;Communications ofACM,1978
4. TheLambda Calculus;Barendregt,1984
5. SimulaBegin;Birtwistle,1973