@inproceedings{ITP11,
  author = {Scott Owens and Peter B\"{o}hm and Zappa Nardelli, Francesco and Peter Sewell},
  title = {Lem: A Lightweight Tool for Heavyweight Semantics},
  booktitle = {Interactive Theorem Proving: Second International Conference, ITP 2011},
  month = aug,
  year = 2011,
  publisher = {Springer},
  volume = 6898,
  series = {Lecture Notes in Computer Science},
  pages = {363--369},
  doi = {10.1007/978-3-642-22863-6_27},
  note = {(``Rough Diamond'' section)},
  editor = {van Eekelen, Marko and Herman Geuvers and Julien Schmaltz and Freek Wiedijk}}