Handbook of automated reasoning; volume II
editors Alan Robinson and Andrei Voronkov2001 年出版2122 页ISBN：0444508120
MICROECONOMICS PRINCIPLES AND POLICY EIGHTH EDITION
WILLIAM J.BAUMOL ALAN S.BLINDER1999 年出版816 页ISBN：0030259487
Handbook of automated reasoning; volume I
editors Alan Robinson and Andrei Voronkov2001 年出版970 页ISBN：0444829490
ECONOMICS PRINCIPLES AND POLICY FIFTH EDITION
WILLIAM J.BAUMOL ALAN S.BLINDER2222 年出版912 页ISBN：0155188631
TECHNOLOGY IN AMERICA A BRIEF HISTORY
ALAN I MARCUS HOWARD P.SEGAL1989 年出版380 页ISBN：0155897624
Victoria D.Alexander著；张正霖，陈巨擘译；陈巨擘校订2006 年出版354 页ISBN：9789577322562
