1. Jones, C. B.,Systematic Software Development Using VDM, 2nd ed., London: Prentice Hall International, 1990.
2. Jones, C. B., Shaw, R. C., eds.,Case Studies in Systematic Software Development, London: Prentice Hall International, 1990.
3. Jones, C. B., Proof obligations for data reification, inDer Informationsbegriff in Technik und Wissenshaft (eds. Folberth, O. G., Hackl, C.), Munich, Vienna: Oldenbourg Verlag, 1986, 77.
4. He, J., Hoare, C. A. R., Sanders, J. W., Data refinement refined: resume, inEsop'86, Volume 213of Lecture Notes in Computer Science (eds. Robinet, B., Wilhelm, R.), Berlin: Springer-Verlag, 1986, 183.
5. Nipkow, T., Non-deterministic data types: Model and implementations,Acta Informatica, 1986, 22: 629.