Degani, A. (2004). Taming HAL: Designing interfaces beyond 2001. New York: St. Martin’s Press/Palgrave Macmillan. 320 pages, 105 figures. ISBN: 031229574X The

Degani, A. (2004). Taming HAL: Designing interfaces beyond 2001. New York: St. Martin’s Press/Palgrave Macmillan. 320 pages, 105 figures. ISBN: 031229574X The book details a new approach, mostly based on software engineering and formal methods, for the describing, analyzing, and identifying potential design errors in human-automation interfaces.