@inproceedings{sewell+:ott,
  author    = {Peter Sewell and
               Francesco Zappa Nardelli and
               Scott Owens and
               Gilles Peskine and
               Tom Ridge and
               Susmit Sarkar and
               Rok Strnisa},
  title     = {Ott: effective tool support for the working semanticist},
  booktitle = {ACM SIGPLAN International Conference on Functional Programming},
  year      = {2007},
  pages     = {1-12},
  ee        = {http://doi.acm.org/10.1145/1291151.1291155},
}