Some problems concerning the automatic translation of Fortran to Algol 68. - J. Alan Prudom; Michael A. Hennell (Strathclyde ALGOL 68 Conference, 1977)

A Static Analysis of the NAG Library. - Michael A. Hennell; J. Alan Prudom (IEEE Trans. Software Eng., 1980)

A dual viewpoint software test tool. - Michael A. Hennell; J. Alan Prudom (Microprocess. Microsystems, 1995)