Non-determinism analyses in a parallel-functional language | Publicación