Text this: BCS-FACS Workshop on Formal Aspects of the Human Computer Interface :