A monad for deterministic parallelism. - Marlow, Simon; Newton, Ryan; Jones, Simon L. Peyton (2011)