@Article{ott-jfp,
  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},
  journal      = {Journal of Functional Programming},
  volume       = {20},
  number       = {1},
  year         = {2010},
  pages        = {71--122},
}