1. Can Programming Be Liberated from the von Neumann Style? A Functional Style and Its Algebra of Programs;Backus;Communications of the ACM,1978
2. ALICE - a multiprocessor reduction machine for the parallel evaluation of applicative languages;Darlington,1981
3. An Overview of the Burroughs NORMA;Richards,1985
4. GRIP — A high-performance architecture for parallel graph reduction;Peyton-Jones,1987
5. A New Implementation Technique for Applicative Languages;Turner;Software Practice & Experience,1979