Sequential Algorithms, Deterministic Parallelism, and Intensional Expressiveness (1995)

by Stephen Brookes, Denis Dancanet
Venue:Proc. ACM Symposium on Principles of Programming Languages