Morten Heine Sørensen Convergence of program transformers in the metric space of trees. 163-205 2000 37 Sci. Comput. Program. 1-3 db/journals/scp/scp37.html#Sorensen00