A Software Engineering Approach to the Design of a Medical Expert System. - Richard Stamper; Bryan S. Todd; P. M. MacPherson (SEKE, 1992)

Formal Specification of a Rule-Based Expert System. - Bryan S. Todd; Richard Stamper (SEKE, 1992)

A Formal Model of Explanation. - Bryan S. Todd; Richard Stamper (Formal Aspects Comput., 1995)

The Identification of Peaks in Physiological Signals. - Bryan S. Todd; David C. Andrews (Comput. Biomed. Res., 1999)