（比）西莫农（Sinenon，Georges）原著；（比）米 鲁（Milou，Charles）改编；刘恒永译注1993 年出版161 页ISBN：7100013887
INTRODUCTION TO LOGIC DESEGN SECOND EDITION
ALAN B.MARCOVITZ FLORIDA ATOANTIC UNIVERSITY著2006 年出版652 页ISBN：
PRINCIPLES OF MACRO ECONOMICS SECOND EDITION
JOHN E.SAYRE ALAN J.MORRIS1999 年出版516 页ISBN：0075604639
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
