Butterworth-Heinemann

Conference Proceedings

Books

(1998): Ergonomics in Health Care and Rehabilitation, Butterworth-Heinemann,

(1997): Human Factors in Safety-Critical Systems, Butterworth-Heinemann,

McDermid, John A. (1989): The Theory and Practice of Refinement: Approaches to the Formal Development of Large-Scale Software Systems, Butterworth-Heinemann,