Formal specification to functional implementation : an application of mathematical techniques for the development of correct programs. - Dominic Steinitz (2000)

Haskell: Language for Business Systems. - Dan Russell; Dominic Steinitz; Chris Reade (Scottish Functional Programming Workshop, 2001)

Examining the efficacy of localised gemcitabine therapy for the treatment of pancreatic cancer using a hybrid agent-based model. - Adrianne L. Jenner; Wayne Kelly; Michael Dallaston; Robyn Araujo; Isobelle Parfitt; Dominic Steinitz; Pantea Pooladvand; Peter S. Kim; Samantha J. Wade; Kara L. Vine (PLoS Comput. Biol., 2023)