1. Ernst, G. W., Hookway, R. J., Menegay, J. A., and Ogden, W. F., “Modular Verification of Ada Generics,” Computer Languages, Vol.16, No. 3/4, 1991, pp. 259–280.
2. Fetzer, J. H., “Program Verification: The Very Idea”, Communications of the ACM, Vol.31, No.9, Sep 1988, pp. 1048–1063
3. Fleming, D. Foundations of Object-Based Specification Design. Ph.D. Dissertation, Dept. of Computer Science and Electrical Engineering, West Virginia Univ., Morgantown, WV, 1997.
4. J. Object-Oriented Programming;D Fleming,1997
5. Garlan, D. and Perry, D., “Introduction to the Special Issue on Software Architecture,” IEEE Trans. Software Engineering, Apr. 1995.