Hisao Tamaki Taisuke Sato Program Transformation Through Meta-shifting. 93-98 1983 1 New Generation Comput. 1 db/journals/ngc/ngc1.html#TamakiS83