A transformation system for maintenance-turning theory into practice. - Keith H. Bennett; Tim M. Bull; Hongji Yang (ICSM, 1992)

Software maintenance by program transformation in a wide spectrum language. - Tim M. Bull (1994)

Bylands: reverse engineering safety-critical systems. - Tim M. Bull; E. J. Younger; Keith H. Bennett; Z. Luo (ICSM, 1995)

Comprehension of Safety-Critical Systems Using Domain-Specific Languages. - Tim M. Bull (WPC, 1996)

System Safety through Formal Domain-Specific Languages. - Tim M. Bull; Keith H. Bennett (SSS, 1996)

Reverse Engineering Concurrent Programs Using Formal Modelling and Analysis. - E. J. Younger; Z. Luo; Keith H. Bennett; Tim M. Bull (WCRE, 1996)

A report on the Durham program transformations workshop. - Tim M. Bull; Keith H. Bennett (ACM SIGSOFT Softw. Eng. Notes, 1996)