Books by BCS-FACS Workshop on Formal Aspects of the Human Computer Interface (1996 Sheffield Hallam University) on BookTides.