Connecting a computer to a packet-switched network by means of a finite-state automaton. - Paul W. Garratt (Comput. Commun., 1981)

Programming by Numbers: A Programming Method for Novices. - Hugh Glaser; Pieter H. Hartel; Paul W. Garratt (Comput. J., 2000)

Experimental Comparison of the Comprehensibility of a UML-based Formal Specification versus a Textual One. - Rozilawati Razali; Colin F. Snook; Michael Poppleton; Paul W. Garratt; Robert J. Walters (EASE, 2007)

Usability Assessment of a UML-based Formal Modelling Method. - Rozilawati Razali; Colin F. Snook; Michael Poppleton; Paul W. Garratt (PPIG, 2007)

A Usability Profile for Graphical Formal Modelling Methods. - Rozilawati Razali; Paul W. Garratt (SoMeT, 2009)