Peter Sewell Francesco Zappa Nardelli Scott Owens Gilles Peskine Tom Ridge Susmit Sarkar Rok Strnisa Ott: effective tool support for the working semanticist. 1-12 2007 conf/icfp/2007 ICFP http://doi.acm.org/10.1145/1291151.1291155 db/conf/icfp/icfp2007.html#SewellNOPRSS07