1. Application and extensions of SADT;Ross;IEEE Computer,1985
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. An automated software design assistant;Karimi,1989