Atsushi Ohori Register allocation by proof transformation. 161-187 2004 50 Sci. Comput. Program. 1-3 http://dx.doi.org/10.1016/j.scico.2004.01.005 db/journals/scp/scp50.html#Ohori04