author : Michael Harrison

Books

• Formal Methods in Human-Computer Interaction. 1990, with Harold Thimbleby

Short works

• Engineering Human-Error Tolerant Software. 1992. (In 6th Z User Workshop )