1. P. J. Barnard and J. May. Interactions with advanced graphical interfaces and the deployment of latent human knowledge. In Design, Specification and Verification of Interactive Systems, pages 15–49. Springer-Verlag, Berlin, 1995.
2. M. Bergamasco. Haptic interfaces: a new way for improving realistic interaction with virtual environments. In Human Comfort and Security. Springer Verlag, Berlin, Germany, 1995.
3. M. Bordegoni and M. Hemmje. A dynamic gesture language and graphical feedback for interaction in a 3d user interface. In Proceedings of Eurographics’93, pages 1–9. NCC Blackwell, Cambridge, UK, 1993.
4. C. Codella. Interactive simulation in a multi-person virtual world. In Proceedings of CHI’92, pages 329–334. ACM Press, New York, New York, 1992.
5. D. A. Duce and D. J. Duke. Syndetic modelling: A new opportunity for formal methods. Amodeus Project Document: ID/WP_57 (submitted for publication), 1996.