1. J. C. Peterson, K. Hammond, L. Augustsson, B. Boutel, F. W. Burton, J. Fasel, A. D. Gordon, R. J. M. Hughes, P. Hudak, T. Johnsson, M. P. Jones, E. Meijer, S. L. Peyton Jones, A. Reid, and P. L. Wadler. Report on the Non-Strict Functional Language, Haskell, Version 1.4, Yale University, 1997. Available at http://haskell.org .
2. S. Abramsky. The Lazy Lambda Calculus. In D.A. Turner, editor, Declarative Programming. Addison-Wesley, 1990.
3. G.E. Blelloch, S. Chatterjee, J.C. Hardwick, J. Spielstein, and M. Zagha. Implementation of a portable nested data-parallel language. In Proc. Fourth ACM Conference on Principles & Practice of Parallel Programming (PPoPP’ 93), pages 102–111. San Diego, CA, May 1993.
4. S. Breitinger, R. Loogen, Y. Ortega-Mallén, and R. Peña. The Eden Coordination Model for Distributed Memory Systems. In Proc. HIPS’ 97-High-Level Parallel Programming Models and Supportive Environments. IEEE Press, 1997.
5. M.M.T. Chakravarty, Y. Guo, M. Köhler, and H.C.R. Lock. Goffin: Higher-Order Functions Meet Concurrent Constraints. Science of Computer Programming, 30(1–2):157–199, 1998.