Reduction: A method of proving properties of parallel programs (1975)

by R J Lipton
Venue:Communications of the ACM