@article{sewell+:ott-jfp,
 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},
 year       = {2010},
 volume     = {20},
 number     = {1},
 pages      = {70--122},
 month      = jan,
 ee         = {http://dx.doi.org/10.1017/S0956796809990293},
 note       = {Invited submission from ICFP 2007},
}