Efficient and Correct Execution of Parallel Programsthat Share Memory (1988)

by D Shasha, M Snir
Venue:ACM Transactions on Programming Languages and Systems