@InProceedings{Conway2010Verifying,
  author =	 {Christopher L. Conway and Clark Barrett},
  title =	 {Verifying Low-Level Implementations of High-Level Datatypes},
  booktitle =	 "Computer Aided Verification (CAV)",
  pages =	 {306-320},
  year =	 2010,
  volume =	 6174,
  series =	 {Lecture Notes in Computer Science},
  month =	 jul,
  address =	 {Edinburgh, Scotland},
  doi =		 {http://dx.doi.org/10.1007/978-3-642-14295-6_28},
}