@InProceedings{ott,
  title        = {{Ott: Effective Tool Support for the Working Semanticist}},
  author       = {Peter Sewell and Francesco {Zappa Nardelli} and Scott Owens
                  and Gilles Peskine and Thomas Ridge and Susmit Sarkar and Rok
                  Strni{\v s}a},
  booktitle    = {Proceedings of the 2007 ACM SIGPLAN International Conference
                  on Functional Programming},
  pages        = {1--12},
  location     = {Freiburg, Germany},
  month        = oct,
  year         = 2007,
  publisher    = {ACM},
  address      = {New York, NY, USA},
  doi          = {http://doi.acm.org/10.1145/1291151.1291155},
}