A monad for deterministic parallelism
Algorithmic Skeletons: Structured Management of Parallel Computation