Colin J. Taylor A Theory of Core Fudgets. 75-85 1998 ICFP http://doi.acm.org/10.1145/289423.289430 db/conf/icfp/icfp98.html#Taylor98