Making sense of recursion patterns. - Paul A. Bailes; Leighton Brough (FormSERA@ICSE, 2012)

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

Denotational trace: a category-theoretic solution to the practical problems of software execution tracing - Leighton Brough (2015)