BCS-FACS Workshop on Formal Aspects of the Human Computer Interface : proceedings of the BCS-FACS Workshop on Formal Aspects of the Human Computer Interface, Sheffield Hallam University, 10-12 September 1996 - Roast, C. R. (Christopher Richard), 1963-; Siddiqi, J. I. (Jawed I.), 1951- (Electronic workshops in computing, 1996)