Program derivation through transformations the evolution of list-copying algorithms - Diepen, N. W. van; Roever, Willem-Paul de 1943- (1985)