ALP: An Autocode List-Processing Language. - David C. Cooper; Harry Whitfield (Comput. J., 1962)

The Equivalence of Certain Computations. - David C. Cooper (Comput. J., 1966)

Böhm and Jacopini's reduction of flow charts. - David C. Cooper (Commun. ACM, 1967)

Sequential Machines and Automata Theory. - David C. Cooper (Comput. J., 1968)

Book Review: Theory of Recursive Functions and Effective Computability, by H. Rogers Jr., 1967; 482 pages. - David C. Cooper (Comput. J., 1969)