author : Harold Thimbleby

Books

• Formal Methods in Human-Computer Interaction. 1990, with Michael Harrison