FORMAL VLSI CORRECTNESS VERIFICATION VLSI Design Methods-II
1990 年出版427 页ISBN:0444886885
HOTEL DESIGN INTERNATIONAL PORTFOLIO OF THE FINEST CONTEMPORARY DESIGNS
1994 年出版158 页ISBN:1564962210
The Design of the Management Information System REVISED EDITION
1976 年出版238 页ISBN:0884053202
Computers as Components Principles of Embedded Computing System Design
2005 年出版656 页ISBN:9780123694591