1. Aditya, S., Arvind, Augustsson, L., Maessen, J., Nikhil, R.S.: Semantics of pH: A parallel dialect of Haskell. In: Hudak, P. (ed.) Haskell Workshop, La Jolla, Cambridge, MA, USA, YALEU/DCS/RR-1075, June 1995, pp. 35–49 (1995)
2. Baker-Finch, C., King, D., Trinder, P.: An operational semantics for parallel lazy evaluation. In: ACM-SIGPLAN International Conference on Functional Programming (ICFP 2000), Montreal, Canada, September 2000, pp. 162–173 (2000)
3. Lecture Notes in Computer Science;S. Breitinger,1996
4. Monographs in Computer Science;M. Debbabi,1997
5. van Ekelen, M., de Mol, M.: Reasoning about explicit strictness in a lazy language using mixed lazy/strict semantics. In: Draft Proceedings of the 14th International Workshop on Implementation of Functional Languages, IFL 2002, pp. 357–373, Dept. Sistemas Informáticos y Programaci ón, Universidad Complutense de Madrid (2002)