1. J.-R. Abrial. The specification language Z: Basic library. Lecture notes, Programming Research Group, 11 Keble Road, Oxford, UK, 1980.
2. J.-R. Abrial. The specification language Z: Syntax and “Semantics”. Lecture notes, Programming Research Group, 11 Keble Road, Oxford, UK, 1980.
3. J.-R. Abrial. A course on system specification. Lecture notes, Programming Research Group, 11 Keble Road, Oxford, UK, 1981.
4. J.-R. 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. J.-R. 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.