Robert Bruce Findler Matthias Felleisen Contracts for higher-order functions. 48-59 2002 ICFP http://doi.acm.org/10.1145/581478.581484 db/conf/icfp/icfp2002.html#FindlerF02