1. Butler, M. and Cox., Trends in Systems Development, Butler Cox Productivity Enhancement Programme.
2. Rock-Evans, R. and Engelien, B., Analysis Techniques for CASE: a Detailed Evaluation, Ovum Ltd., 1989.
3. Beer, S., Welland, R.C., and Sommerville, I. “Software design automation in an IPSE” in ESEC '87, Proc. 1st European Software Engineering Conference, Strasbourg, France, September 9–11, 1987, ed. Nichols, H.K. and Simpson, D., Lecture Notes in Computer Science, Vol. 289, Springer-Verlag, 1988.
4. Sommerville, I., Welland, R.C., and Beer, S., “Describing software design methodologies”, Computer Journal, 1987, 30, (2), pp. 128–133
5. Welland, R.C., Beer, S., and Sommerville, I., “Method rule checking in a generic design editing system”, Software Engineering Journal, 1990, 5, (2), pp. 105–115.