Formal Methods within a Totally Functional Approach to Programming. - Paul A. Bailes; Colin J. M. Kemp (10th Anniversary Colloquium of UNU/IIST, 2002)

Why Functional Programming Really Matters. - Paul A. Bailes; Colin J. M. Kemp; Ian Peake; Sean Seefried (Applied Informatics, 2003)

Integrating Runtime Assertions with Dynamic Types: Structuring a Derivation from an Incomputable Specification. - Paul A. Bailes; Colin J. M. Kemp (COMPSAC, 2003)

Obstacles to a Totally Functional Programming Style. - Paul A. Bailes; Colin J. M. Kemp (Australian Software Engineering Conference, 2004)

Fusing Folds and Data Structures into Zoetic Data. - Paul A. Bailes; Colin J. M. Kemp (IASTED Conf. on Software Engineering, 2005)

Theoretical Foundations for Practical 'Totally Functional Programming' - Colin J. M. Kemp (2007)

From Computer Science to Software Engineering - A Programming-level Perspective. - Paul A. Bailes; Leighton Brough; Colin J. M. Kemp (SoMeT, 2014)

Zoetic Data and their Generators. - Paul A. Bailes; Colin J. M. Kemp (ENASE, 2016)

Software Engineering Foundations of Zoetic Data and Totally Functional Programming. - Paul A. Bailes; Colin J. M. Kemp (ENASE (Selected Papers), 2016)