1. Baker-Finch, C., King, D.J., Hall, J., Trinder, P.W.: An operational semantics for parallel call-by-need. Technical Report 99/1, Faculty of Mathematics and Computing, The Open University (1999)
2. Breitinger, S., Loogen, R., Ortega -Mallén, Y., Peña, R.: Eden: Language definition and operational semantics. Technical Report 96/10, Reihe Informatik, FB Mathematik, Philipps-Universität Marburg, Germany (1996),
http://www.mathematik.uni-marburg.de/~eden/
3. Lecture Notes in Computer Science;M. Broy,1994
4. Hernández, F.: Peña, R., Rubio, F.: From GranSim to Paradise. In: Trends in Functional Programming (Selected papers of the First Scottish Functional Programming Workshop) vol. 1, pp. 11–19 (2000)
5. Hidalgo-Herrero, M., Ortega-Mallén, Y.: An operational semantics for the parallel language Eden. Parallel Processing Letters 12(2), 211–228 (2002)