1. Ross, D.T. “Application and Extensions of SADT. IEEE Computer, April 1985. pp. 25-35.
2. “On the Use of Formal Methods in Software Development”;Bjorner,1981
3. Designing Object-Oriented Software;Wifts-Brock,1990
4. “Software Development Environments”;Dart,1989
5. Karimi, J.and Konsynski, B.R. “An Automated Software Design Assistant”. ibid., pp. 65-81.