Simon L. Peyton Jones Jean-Marc Eber Julian Seward Composing contracts: an adventure in financial engineering, functional pearl. 280-292 2000 ICFP http://doi.acm.org/10.1145/351240.351267 db/conf/icfp/icfp2000.html#JonesES00