1. M. Abadi and L. Lamport. An old-fashioned recipe for real time. Technical Report 91, DEC Systems Research Center, October 1992.
2. G. Abowd. Formal aspects of human-computer interaction. D.Phil Thesis, Oxford University Computing Laboratory: Programming Research Group, 1991. Available as Technical Monograph PRG-97.
3. P.J. Barnard and J. May. Cinematography and user interface design. In Human-Computer Interaction: INTERACT’95, pages 26–31. Chapman and Hall, 1995.
4. P.J. Barnard and J. May. Interactions with advanced graphical interfaces and the deployment of latent human knowledge. In Eurographics Workshop on Design, Specification and Verification of Interactive Systems, pages 15–49. Springer, June 1995.
5. J. Coutaz, D.J. Duke, G. Faconti, M.D. Harrison, and F. Paterno’. Formal methods and multimodal interactive systems. Technical Report SM/WP61, ESPRIT BRA 7040 Amodeus-2, 1995.