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

by Richard J Lipton
Venue:Commun. ACM