1. Jones, C.B. (1981), “Development Methods for Computer Programs Including a Notion of Interference,” PhD Thesis, Oxford University.
2. Jones, C.B. (1983), “Specification and Design of (Parallel) Programs,” InProceedings of IFIP '83, North-Holland, pp. 321–332.
3. Jones, C.B. (1990),Systematic Software Development Using VDM, Second Edition, Prentice-Hall.
4. Jones, C.B. and R.C.F. Shaw, Eds. (1990),Case Studies in Systematic Software Development, Prentice-Hall.
5. Jones, C.B. (1991), “Interference Resumed,” Technical Report UMCS-91-5-1, Department of Computer Science, University of Manchester.