Adam Bakewell Colin Runciman The space usage problem: An evaluation kit for graph reduction semantics. 115-128 2000 conf/sfp/2000 Scottish Functional Programming Workshop db/conf/sfp/sfp2000.html#BakewellR00