The formal design and evaluation of a variety of medical diagnostic programs - Todd, BS; Stamper, R (Technical Monograph PRG-109, 1993)