1. Ward M Proving program refinements and transformations DPhil Thesis 1989 http://www.cse.dmu.ac.uk/~mward/martin/thesis
2. Ward M Bennett KH A practical program transformation system for reverse engineering Working Conference on Reverse Engineering, May 21-23, 1993 Baltimore MA 1993 212 221 http://www.cse.dmu.ac.uk/~mward/martin/papers/icse.ps.gz
3. Younger EJ Ward M Understanding concurrent programs using program transformations Proceedings of the 1993 2nd Workshop on Program Comprehension, 8th-9th July Capri, Italy 1993 160 168 http://www.cse.dmu.ac.uk/~mward/martin/papers/cap.ps.gz
4. Ward M Specifications from source code-Alchemists' dream or practical reality? 4th Reengineering Forum, September 19-21, 1994 Victoria, Canada 1994 5/1 5/3
5. Formal methods to aid the evolution of software;Ward;Int J Software Engineer Knowledge Engineer,1995