The pragmatic formalization of computing systems relative to a given high-level language. - Derek John Cooke (1976)

On non-hierachical systems of binary operators. - D. John Cooke (SIGACT News, 1983)

The programming language MINO and its formal definition. - D. John Cooke; M. H. J. Al-Noufaly (ACM SIGPLAN Notices, 1984)

A New Grammar for Arithmetic Expressions in a Parallel Processing Environment. - Fatemeh Abdollahzadeh; Mehdi Badii; D. John Cooke (ICPP, 1986)

On Methods for Interfaces Specification and Design. - J. N. J. Richards; H. E. Bez; D. T. Gittins; D. John Cooke (Int. J. Man Mach. Stud., 1986)

Insecurities in FORTRAN DO-loops. - D. John Cooke; Fatemeh Abdollahzadeh (Softw. Pract. Exp., 1986)

On biasing behaviour to the optimal. - Richard Butterworth; D. John Cooke (DSV-IS, 1997)