APA (7th ed.) Citation

Diepen, N. W. v., & Roever, W. d. (1985). Program derivation through transformations: The evolution of list-copying algorithms.

Chicago Style (17th ed.) Citation

Diepen, N. W. van, and Willem-Paul de Roever. Program Derivation Through Transformations: The Evolution of List-copying Algorithms. Amsterdam, 1985.

MLA (9th ed.) Citation

Diepen, N. W. van, and Willem-Paul de Roever. Program Derivation Through Transformations: The Evolution of List-copying Algorithms. 1985.