@article{cj96-01,
  author={Moshe Y. Vardi},
  title={Rank Predicates vs.\ Progress Measures in Concurrent-Program
		  Verification},
  journal={Chicago Journal of Theoretical Computer Science},
  volume={1996},
  number={1},
  publisher={MIT Press},
  month={February},
  year={1996}
}