Stanley Lee Willem P. de Roever Susan L. Gerhart The Evolution of List-Copying Algorithms. 53-67 1979 POPL db/conf/popl/popl79.html#LeeGR79 POPL/00001697.PDF db/conf/popl/LeeGR79.html