1. Abowd (G. D.), DIX (A. J.). Integrating status and events phenomena in formal specifications of interactive systems.SIGSOFT’94 (Dec. 1994).
2. Abowd (G. D.). Formal aspects of human computer interaction. PhD thesis, University of Oxford Computer Laboratory: Programming Research Group (1991).
3. Abowd (G. D.), Wang (H. M.), Monk (A. E). A formal technique for automated dialogue development. In Proceedings of the First Symposium on Designing Interactive Systems, DIS’95, Ann Arbor, MI, ACM Press (Aug. 1995).
4. Ausbourg (B. d’), Roche (P.). Specifying formally or deriving a formal model from an informal description of user interfaces? In C. Rouff, editor, CHI 95 Workshop on Formal Specification of User Interfaces, Denver, Colorado (May 1995).
5. Ausbourg (B. d’), Durrieu (G.), Roche (P.). Deriving a formal model of an interactive system from its uil description in order to verify and to test its behaviour. In Proceedings of DSV-IS 96, Namur, Belg (1996).