1. N. W. Davis M. I. Jackson N. C. Munro R. A. Snowdon A View of Advanced Support Environments Proceedings of the Alvey Conference on Integrated Project Support Environments York 1985
2. B. T. Denvir M. I. Jackson R. C. Shaw Experience of Introducing the Vienna Development Method into an Industrial Organization Proceedings of the International Conference on Theory and Practice of Software, Development (TAPSOFT) Springer-Verlag Berlin 1985
3. B. T. Denvir W. T. Harwood M. I. Jackson M. J. Wray Proceedings of the SERC/STL Workshop on the Analysis of Concurrent Systems, Cambridge, September 1983 Springer-Verlag Berlin 1985
4. Developing Ada Programs using the Vienna Development Method;Jackson;Software: Practice and Experience,1985