N. W. P. van Diepen, Willem P. de Roever. Program Derivation Through Transformations: The Evolution of List-Copying Algorithms. Science of Computer Programming, 6(3):213-272, 1986.
No references recorded for this publication.
No citations of this publication recorded.