1. G. D. Abowd. Agents: Communicating interactive processes. In D. Diaper, D. Gilmore, Gilbert Cockton, and Brian Shackel, editors, Human-Computer Interaction: INTERACT'90, pages 143–148. Elsevier Science Publishers (North-Holland), 1990.
2. G. D. Abowd. Formal Aspects of Human-Computer Interaction. DPhil thesis, Oxford University Computing Laboratory, Wolfson Building, Parks Road, Oxford, UK, 1991.
3. G. D. Abowd, R. Allen, and D. Garlan. Using style to understand descriptions of software architectures. ACM Software Engineering Notes, 18(5):9–20, December 1993.
4. G. D. Abowd, J. P. Bowen, A. J. Dix, M. D. Harrison, and R. Took. User interface languages: A survey of existing methods. Technical Report PRG-TR-5-89, Oxford University Computing Laboratory, Wolfson Building, Parks Road, Oxford, UK, October 1989.
5. J.-R. Abrial. The B tool. In Bloomfield et al. [40], pages 86–87.