@InCollection{PittsAM:typor,
  author =	 {A. M. Pitts},
  title =	 {Typed Operational Reasoning},
  booktitle =	 {Advanced Topics in Types and Programming Languages},
  pages =	 {245--289},
  publisher =	 {The MIT Press},
  year =	 2005,
  editor =	 {B. C. Pierce},
  chapter =	 7
}