1. An Abstraction Algorithm for Combinatory Logic;Abdali;J. Symbol. Logic,1976
2. Implementing Functional languages on a Combinator-Based Reduction Architecture;Hahn,1988
3. Serial combinators: “Optimal” grains of parallelism;Hudak,1985
4. Super-combinators: A new implementation method for applicative languages;Hughes,1982