Pierre-Évariste Dagand Dejan Kostic Viktor Kuncak Opis: reliable distributed systems in OCaml. 65-78 2009 TLDI http://doi.acm.org/10.1145/1481861.1481870 conf/tldi/2009 db/conf/tldi/tldi2009.html#DagandKK09