（英）Bruce Mitchell （美）Fred C.Robinson著2005 年出版0 页ISBN：
工程图学Engineering Graphics （第八版改编版）
Giesecke Mitchell Spencer Hill Loving Dygdon Novak原著 焦永和 韩宝玲 李苏红改编2005 年出版0 页ISBN：
中国国家标准汇编 305 GB 19398-19428 2003年制定
（英）Bruce Mitchell （美）Fred C.Robinson著2005 年出版0 页ISBN：
（美）Richard Mitchell，（美）Jim Mckim著；孟岩译2003 年出版252 页ISBN：7115115702
本书通过Eiffel和Java实例，阐述了“契约式设计（Design by Contract）”的思想原则和应用方法，帮助读者掌握如何在面向对象软件设计过程中应用契约。...
ALAN F.BERNDT AND ROBERT I.STEARNS1978 年出版120 页ISBN：0398037531
