On Program Analysis. - Michael A. Hennell; Martin R. Woodward; David Hedley (Inf. Process. Lett., 1976)

Quantifying the test effectiveness of Algol 68 programs. - Michael A. Hennell; David Hedley; Martin R. Woodward (Strathclyde ALGOL 68 Conference, 1977)

An Experimental Testbed for Numerical Software, Part 2: ALGOL 68. - Michael A. Hennell; David Hedley (Comput. J., 1979)

A Measure of Control Flow Complexity in Program Text. - Martin R. Woodward; Michael A. Hennell; David Hedley (IEEE Trans. Software Eng., 1979)

Experience with Path Analysis and Testing of Programs. - Martin R. Woodward; David Hedley; Michael A. Hennell (IEEE Trans. Software Eng., 1980)

Assessing a Class of Software Tools. - Michael A. Hennell; David Hedley; I. J. Riddell (ICSE, 1984)

The Causes and Effects of Infeasible Paths in Computer Programs. - David Hedley; Michael A. Hennell (ICSE, 1985)

Automated Testing Techniques for Real-Time Embedded Software. - Michael A. Hennell; David Hedley; I. J. Riddell (ESEC, 1987)

Selective Culling of Discontinuity Lines. - David Hedley; Adam D. Worrall; Derek J. Paddon (Rendering Techniques, 1997)

Interactive Animation of Soft Shadows. - Adam D. Worrall; David Hedley; Derek J. Paddon (CA, 1998)

Whole genomes define concordance of matched primary, xenograft, and organoid models of pancreas cancer. - Deena M. A. Gendoo; Robert E. Denroche; Amy Zhang; Nikolina Radulovich; Gun Ho Jang; Mathieu Lemire; Sandra Fischer; Dianne Chadwick; Ilinca M. Lungu; Emin Ibrahimov; Ping-Jiang Cao; Lincoln D. Stein; et al. (PLoS Comput. Biol., 2019)