Sequential Algorithms, Deterministic Parallelism, and Intensional Expressiveness. - Stephen D. Brookes; Denis Dancanet (POPL, 1995)