1. and , Knowledge-based software design using design schemas, Proceedings of Ninth International Conference on Software Engineering, March 1987, pp.253–262.
2. and , The VLSI design automation assistant: whats in a knowledge base, Proceedings of the 22nd ACM/IEEE Design Automation Conference, June 1985, pp.252–258.
3. System ARchitects Apprentice (SARA) as the Foundation for a methodology-oriented ADA programming support environment, Ph. D. Dissertation, Computer Science Department, University of California, Los Angeles, 1986.
4. Proceedings o;Razouk,1980
5. A multiple view paradigm for modeling and validation of real-time software systems, Proceedingss of International Conference on Reliability and Robustness of Engineering Software, September 1987.