Structuring Specification in Z to Build a Unifying Framework for Hypertext Systems. - Mark d'Inverno; Mark Priestley (ZUM, 1995)

Formal framework for hypertext systems. - Mark d'Inverno; Mark Priestley; Michael Luck (IEE Proc. Softw. Eng., 1997)

Student teachers' first reflections on information and communications technology and classroom learning: implications for initial teacher education. - Daniela Sime; Mark Priestley (J. Comput. Assist. Learn., 2005)

Logic and the development of programming languages, 1930-1975. - Mark Priestley (2008)

A Science of Operations - Machines, Logic and the Invention of Programming - Mark Priestley (Springer, 2011)

Reconsidering the Stored-Program Concept. - Thomas Haigh; Mark Priestley; Crispin Rope (IEEE Ann. Hist. Comput., 2014)

Engineering "The Miracle of the ENIAC": Implementing the Modern Code Paradigm. - Thomas Haigh; Mark Priestley; Crispin Rope (IEEE Ann. Hist. Comput., 2014)

Los Alamos Bets on ENIAC: Nuclear Monte Carlo Simulations, 1947-1948. - Thomas Haigh; Mark Priestley; Crispin Rope (IEEE Ann. Hist. Comput., 2014)

Innovators assemble: Ada Lovelace, Walter Isaacson, and the superheroines of computing. - Thomas Haigh; Mark Priestley (Commun. ACM, 2015)

Where code comes from: architectures of automatic control from Babbage to Algol. - Thomas Haigh; Mark Priestley (Commun. ACM, 2016)

AI and the Origins of the Functional Programming Language Style. - Mark Priestley (Minds Mach., 2017)

Colossus and Programmability. - Thomas Haigh; Mark Priestley (IEEE Ann. Hist. Comput., 2018)

Flow Diagrams, Assertions, and Formal Methods. - Mark Priestley (FM Workshops (2), 2019)

The Media of Programming. - Mark Priestley; Thomas Haigh (Exploring the Early Digital, 2019)

von Neumann thought Turing's universal machine was 'simple and neat.': but that didn't tell him how to design a computer. - Thomas Haigh; Mark Priestley (Commun. ACM, 2020)

Logic, Code, and the History of Programming. - Mark Priestley (IEEE Ann. Hist. Comput., 2021)

Report on HOPL IV - ACM SIGPLAN History of Programming Languages Conference. - Mark Priestley; Tomas Petricek 001 (IEEE Ann. Hist. Comput., 2021)

Working in the Scientific State: John Womersley's Early Career. - Mark Priestley (IEEE Ann. Hist. Comput., 2024)