1. Gregory D. Abowd. Agents: Communicating interactive processes. In Dan Diaper, David Gilmore, Gilbert Cockton, and Brian Shackel, editors, Human-Computer Interaction — INTERACT 90, pages 143–148. Elsevier Science Publishers, 1990.
2. Gregory D. Abowd, Jonathan P. Bowen, Alan Dix, Michael Harrison, and Roger Took. User interface languages: a survey of existing methods. Technical Report PRG-TR-5–89, Oxford University Computing Laboratory, 11 Keble Road, Oxford, UK, October 1989.Alan Dix, Michael Harrison and Roger Took are members of the Human Computer Interaction Group, Department of Computer Science, University of York. This report was originally produced as part of ESPRIT II project no. 2487: REDO: Maintenance, Validation and Documentation of Software Systems. It covers a number of methods, including a chapter on modelling using Z.
3. Jean-Raymond Abrial. The B tool. In G. Goos and J. Hartmanis, editors, VDM — The Way Ahead. Proc. 2nd VDM-Europe Symposium, volume 328 of Lecture Notes in Computer Science, pages 86–87. VDM-Europe, Springer-Verlag, 1988.
4. Jean-Raymond Abrial, S.A. Schuman, and B. Meyer. Specification language. In R.M. McKeag and A.M. Macnaghten, editors, On the Construction of Programs: An Advanced Course, pages 343–410. Cambridge University Press, UK, 1980.
5. Jean-Raymond Abrial and Ib H. Sorensen. KWIC-index generation. In J. Staunstrup, editor, Program Specification: Proceedings of a Workshop, volume 134 of Lecture Notes in Computer Science, pages 88–95. Springer-Verlag, 1981