1. Luca Cardelli. Basic polymorphic typechecking. Science of Computer Programming, 8:2, April 1987. AT&T Bell Laboratories.
2. M. Chen, Y. Choo, and J. Li. Parallel Functional Languages and Compilers. Frontier Series. ACM Press, 1991. Chapter 7.
3. Stéphane Genaud, Eric Violard, and Guy-René Perrin. Transformations techniques in Pei. EUROPAR'95, LNCS, 966:131–142, August 1995.
4. P. Hammarlund and B. Lisper. On the relation between functional and data parallel programming languages. FPCA93, ACM Press, pages 210–222, 1993.
5. Wayne Kelly, Vadim Maslov, William Pugh, Evan Rosser, Tatiana Shpeisman, and David Wonnacott. The Omega Library — Version 1.00, April 1996. Interface Guide.