@article{JFP10,
  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},
  journal = {Journal of Functional Programming},
  volume = 20,
  number = {1},
  pages = {71--122},
  month = jan,
  year = 2010,
  doi = {10.1017/S0956796809990293}}