FORMAL VLSI CORRECTNESS VERIFICATION VLSI Design Methods-II
1990 年出版427 页ISBN：0444886885
SHAPE PRESERVING REPRESENTATIONS IN COMPUTER-AIDED GEOMETRIC DESIGN
1999 年出版233 页ISBN：1560726911
ANALYSIS AND DESIGN OF DIGITAL CIRCUITS AND COMPUTER SYSTEMS
1976 年出版598 页ISBN：0916460037
DESIGN AND IMPLEMENTATION OF COMPUTER-BASED INFORMATION SYSTEMS
1979 年出版368 页ISBN：9028605193
HOTEL DESIGN INTERNATIONAL PORTFOLIO OF THE FINEST CONTEMPORARY DESIGNS
1994 年出版158 页ISBN：1564962210
Computers as Components Principles of Embedded Computing System Design
2005 年出版656 页ISBN：9780123694591
Entity-Relationship Approach to Database Design and Querying
1990 年出版435 页ISBN：0444887164
