Functory: A Distributed Computing Library for Objective Caml. - Jean-Christophe Filliâtre; K. Kalyanasundaram (Trends in Functional Programming, 2011)