Non-determinism analyses in a parallel-functional language (2005)

by R Peña-Maŕı, Clara Segura
Venue:Journal of Functional Programming