diff -r e1c74b864b1b -r d6ee4a1b34ce Paper/document/root.bib
--- a/Paper/document/root.bib	Thu Mar 18 23:38:01 2010 +0100
+++ b/Paper/document/root.bib	Thu Mar 18 23:39:26 2010 +0100
@@ -9,6 +9,22 @@
   series = 	 {LNCS}
 }
 
+@article{ott-jfp,
+ author     = {P.~Sewell and 
+               F.~Z.~Nardelli and 
+               S.~Owens and 
+               G.~Peskine and 
+               T.~Ridge and 
+               S.~Sarkar and 
+               R.~Strni\v{s}a},
+ title      = {{Ott}: {E}ffective {T}ool {S}upport for the {W}orking {S}emanticist},
+ journal    = {Journal of Functional Programming},
+ year       = {2010},
+ volume     = {20},
+ number     = {1},
+ pages      = {70--122}
+}
+
 @INPROCEEDINGS{Pottier06,
   author = {F.~Pottier},
   title = {{A}n {O}verview of {C$\alpha$ml}},