1. Baker-Finch, C., D. J. King and P. Trinder, An operational semantics for parallel lazy evaluation, in: ICFP '00: Proceedings of the fifth ACM SIGPLAN international conference on Functional programming (2000), pp. 162–173
2. Clerici, S., A. Duch and C. Zoltan, Implementing static synchronus sensor fields using NiMo, Technical Report LSI-09-13-R, Dept. Llenguatges i Sistemes Informàtics, Universitat Politècnica de Catalunya (2009). URL http://www.lsi.upc.edu/dept/techreps/llistat_detallat.php?id=1052
3. A graphic functional-dataflow language;Clerici,2004
4. Clerici, S. and C. Zoltan, Graphical type inference. a graph grammar definition, Technical Report LSI-07-24-R, Dept. Llenguatges i Sistemes Informàtics, Universitat Politècnica de Catalunya (2007). URL http://www.lsi.upc.edu/dept/techreps/llistat_detallat.php?id=970
5. Clerici, S. and C. Zoltan, A dynamically customizable process-centered evaluation model, in: PPDP '09: Proceedings of the 11th international ACM SIGPLAN conference on Principles and practice of declarative programming (2009), pp. 37–47