@inproceedings{ott,
 author = {Peter Sewell and Francesco {Zappa Nardelli} and Scott Owens and Gilles Peskine and Thomas Ridge and Susmit Sarkar and Rok {Strni\v sa}},
 title = {Ott: Effective Tool Support for the working Semanticist},
 year = 2007,
 booktitle = {Proc.\ ICFP}
}


@inproceedings{ocl,
 author = {Scott Owens},
 title = {A Sound Semantics for {OCaml$_{light}$}},
 year = 2008,
 booktitle = {Proc.\ ESOP}
}

@misc{oclweb,
 author={Scott Owens},
 title={{OCaml$_\mathit{light}$}},
 note={\url{http://www.cl.cam.ac.uk/~so294/ocaml}}}
