Butterworth-Heinemann

Website

Periodicals

Conference Proceedings

Books

(1998): Ergonomics in Health Care and Rehabilitation, Rice, Valerie J. (eds.), Butterworth-Heinemann,

(1997): Human Factors in Safety-Critical Systems, Redmill, Felix, Rajan, Jane (eds.), Butterworth-Heinemann,

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