@inproceedings{ICFP07,
  author = {Peter Sewell and Zappa Nardelli, Francesco and Scott Owens and Gilles Peskine and Thomas Ridge and Susmit Sarkar and Rok Strni\v{s}a},
  title = {Ott: Effective Tool Support for the Working Semanticist},
  booktitle = {ICFP '07: Proceedings of the 2007 ACM SIGPLAN International Conference on Functional Programming},
  month = oct,
  year = 2007,
  publisher = {ACM Press},
  pages = {1--12},
  doi = {10.1145/1291151.1291155}}