Ott: Effective tool support for the working semanticist (2010)

by Peter Sewell, Francesco Zappa Nardelli, Scott Owens, Gilles Peskine, Thomas Ridge, Susmit Sarkar, Rok Strnǐsa
Venue:Journal of Functional Programming