Teaching formal software engineering at Loughborough. - Roger G. Stone; John Cooke (PPIG (1), 1992)

Formal Methods - Mathematics, Theory, Recipes or What? - John Cooke (Comput. J., 1992)

Symbolic Model Checking: Kenneth L McMillan, Kluwer Academic, Dordrecht, The Netherlands (1993) ISBN 0 7923 9380 5, £54.50, pp 194. - John Cooke (Microprocess. Microsystems, 1994)

The MicroWeb toolkit: Bringing the WWW to the classroom. - Judi R. Thomson; John Cooke; Jim E. Greer (WebNet, 1996)

The Purpose of Specification. - Roger G. Stone; John Cooke (PPIG, 1997)

Constructing correct software - the basics. - John Cooke (Springer, 1998)

The Intelligent Helpdesk: Supporting Peer-Help in a University Course. - Jim E. Greer; Gordon I. McCalla; John Cooke; Jason A. Collins; Vive Kumar; Andrew Bishop; Julita Vassileva (Intelligent Tutoring Systems, 1998)

A Comparison of Association Rule Discovery and Bayesian Network Causal Inference Algorithms to Discover Relationships in Discrete Data. - Jeff Bowes; Eric Neufeld; Jim E. Greer; John Cooke (AI, 2000)

Generating instructional hypermedia with APHID. - Judi R. Thomson; Jim E. Greer; John Cooke (Hypertext, 2000)

Automatic generation of instructional hypermedia with APHID. - Judi R. Thomson; Jim E. Greer; John Cooke (Interact. Comput., 2001)

Editorial. - John Cooke; B. Tim Denvir (Formal Aspects Comput., 2002)

Versioning of Learning Objects. - Christopher A. Brooks 001; John Cooke; Julita Vassileva (ICALT, 2003)

Editorial. - John Cooke; Savi Maharaj; Judi Romijn; Carron Shankland (Formal Aspects Comput., 2003)

Editorial. - Cliff B. Jones; John Cooke (Formal Aspects Comput., 2004)

Constructing correct software (2. ed.). - John Cooke (Springer, 2005)

Editorial. - John Cooke (Formal Aspects Comput., 2005)

Precise Scenarios - A Customer-Friendly Foundation for Formal Specifications. - Oliver Au; Roger G. Stone; John Cooke (IFM, 2007)

Universal photonic artificial intelligence acceleration. - Sufi R. Ahmed; Reza Baghdadi; Mikhail Bernadskiy; Nate Bowman; Ryan Braid; Jim Carr; Chen Chen; Pietro Ciccarella; Matthew Cole; John Cooke; Kishor Desai; Carlos Dorta; et al. (Nat., 2025)