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

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