Yoshihiko Futamura Zenjiro Konishi Robert Glück Program Transformation System Based on Generalized Partial Computation. 75-100 2001 20 New Generation Comput. 1 db/journals/ngc/ngc20.html#FutamuraKG01