Butterworth-Heinemann
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,