Grant Malcolm Data Structures and Program Transformation. 255-279 1990 14 Sci. Comput. Program. 2-3 db/journals/scp/scp14.html#Malcolm90