@Article{DetlefsHW88,
  author = 	 {D.L. Detlefs, M.P. Herlihy, and J.M. Wing},
  title = 	 {Inheritance of synchronization and recovery properties in Avalon/C++},
  journal = 	 {IEEE Computer},
  year = 	 1988,
  volume =	 21,
  number =	 12,
  pages =	 {57--69},
  month =	 dec,
  note =	 {Also in ``Advanced Language Implementation Techniques'', Peter Lee
  Editor, MIT Press, 1990.}
}