CRC HANDBOOK OF CHEMISTRY AND PHYSICS:A READY-REFERENCE BOOK OF CHEMICAL AND PHYSICAL DATA 91ST EDI
W.M.HAYNES DAVID R.LIDE2010 年出版2591 页ISBN:9781439820773
FORMAL VLSI CORRECTNESS VERIFICATION VLSI Design Methods-II
1990 年出版427 页ISBN:0444886885
SHAPE PRESERVING REPRESENTATIONS IN COMPUTER-AIDED GEOMETRIC DESIGN
1999 年出版233 页ISBN:1560726911