Ugo Dal Lago Simone Martini An Invariant Cost Model for the Lambda Calculus. 105-114 2006 conf/cie/2006 CiE http://dx.doi.org/10.1007/11780342_11 db/conf/cie/cie2006.html#LagoM06