1. Agents: recognition and interaction models;Abowd;Paper presented at INTERACT’ (Cambridge, England),1990
2. Macintosh Human Interface Guidelines;Apple computer,1992
3. Modes in human-machine systems;Degani;International Journal of Avaiation Psychology,1999
4. Formal Methods for Interactive Systems;Dix,1991
5. Dix, A. Cheverst, K. Fitton D., Friday A., 2004. The auditability of public space–approaching security through social visibility. In 2nd UK-UbiNet Workshop, Security, trust, privacy and theory for ubiquitous computing. 5–7th May 2004, University of Cambridge, UK. http://www.hcibook.com/alan/papers/ubinet-trust-2004/.