1. Compiling C for vectorization, parallelization, and inline expansion;Allen,1988
2. The Haskell B. user's manual;Augustsson,1992
3. Parallel graph reduction with the 〈v, G〉-machine;Augustsson,1989
4. Lazy ML user's manual;Augustsson,1990
5. The Lambda Calculus, Its Syntax and Semantics;Barendregt,1984