@inproceedings{beckman:verifying:oopsla:2008,
  author	= {Beckman, Nels E. and Bierhoff, Kevin and Aldrich, Jonathan},
  title		= {Verifying correct usage of atomic blocks and typestate},
  booktitle	= {OOPSLA~'08: Proc. 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications},
  urlpage	= {http://dx.doi.org/10.1145/1449955.1449783},
  pdf		= {http://www.cs.cmu.edu/~aldrich/papers/oopsla08-preprint.pdf},
  pages		= {227--244},
  year		= {2008},
  month		= {sep},
}