N. W. P. van Diepen Willem P. de Roever Program Derivation Through Transformations: The Evolution of List-Copying Algorithms. 213-272 1986 6 Sci. Comput. Program. 3 db/journals/scp/scp6.html#DiepenR86