Sequential algorithms, deterministic parallelism, and intensional expressiveness (1995)

by Stephen Brookes, Denis Dancanet
Venue:22nd Symposium on Principles of Programming Languages (POPL’95