(美)伯 格(Berg,H.K.)等著;宋国新等译1988 年出版250 页ISBN:7030002792
本书全面地介绍了程序验证理论、规范及有关的方法
宛延闿,定海编著2001 年出版450 页ISBN:7302012717
本书介绍了基本的与编程无关的面向对象高层概念和OMT技术表示法,软件开发的面向对象方法学,不同开发环境中面向对象设计的实现等内容。
(苏)A.C.克勒宗,(苏)Ю.H.茹拉夫列夫,(苏)H.B.扬瓦列夫著;张文杰,陶昌,覃正杞,袁执珩译;沈炳炎,韩红志,张连祥校1982 年出版300 页ISBN: