J. Strother Moore Functional formal methods. 123 2002 ICFP http://doi.acm.org/10.1145/581478.581490 db/conf/icfp/icfp2002.html#Moore02