Efficient and correct execution of parallel programs that share memory (1988)

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