Author: BCS-FACS Workshop on Formal Aspects of the Human Computer Interface (1996 Sheffield Hallam University)