Clara Segura, Ricardo Pena. Correctness of Non-determinism Analyses in a Parallel-Functional Language. In Philip W. Trinder, Greg Michaelson, Ricardo Pena, editors, Implementation of Functional Languages, 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003, Revised Papers. Volume 3145 of Lecture Notes in Computer Science, pages 69-85, Springer, 2003. [doi]