Yoshihiko Futamura Zenjiro Konishi Robert Glück WSDFU: Program Transformation System Based on Generalized Partial Computation. 358-378 2002 conf/birthday/2002jones The Essence of Computation http://link.springer.de/link/service/series/0558/bibs/2566/25660358.htm db/conf/birthday/jones2002.html#FutamuraKG02