1. Murray Cole, “Capturing the Structure of Efficient Parallel Computations as Higher Order Functions,” Draft report, Dept. Computer Science, University of Glasgow, 1989.
2. Michael J Quinn, in Designing Efficient Algorithms for Parallel Computers,McGraw-Hill International, 1987.
3. F Warren Burton, “Annotations to Control Parallelism and Reduction Order in the Distributed Evaluation of Functional Languages,” ACM Trans. Programming Languages and Systems 6 (April 1984), 159–174.
4. Paul Hudak Lauren Smith, “Para-Functional Programming: A Paradigm for Programming Multiprocessor Systems,” Principles of Programming Languages, Florida, 1986.
5. Paul Kelly, “Declarative Annotations for Distributed Functional Programming (Technical Summary),” Internal Report. Imperial College, London. SW7 2BZ, January 1988.