@inproceedings{weihl:specification:sigplan:1983,
  author	= {Weihl, William and Liskov, Barbara},
  title		= {Specification and implementation of resilient, atomic data types},
  booktitle	= {SIGPLAN '83: Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems},
  month		= {jun},
  year		= {1983},
  pages		= {53--64},
  urlpage	= {http://doi.acm.org/10.1145/800226.806851},
}