@article{lipton:reduction:cacm:1975,
  author	= {Lipton, Richard J.},
  title		= {Reduction: a method of proving properties of parallel programs},
  journal	= {Communications of the ACM},
  volume	= {18},
  number	= {12},
  year		= {1975},
  month		= {dec},
  pages		= {717--721},
  urlpage	= {http://doi.acm.org/10.1145/361227.361234},
}