"Correctness of Non-determinism Analyses in a Parallel-Functional Language."

Clara Segura, Ricardo Pena (2003)
a service of Schloss Dagstuhl - Leibniz Center for Informatics