Reduction: A Method of Proving Properties of Parallel Programs. - Lipton, Richard J. (Communications of the ACM, 1975)