Lecture Notes in Computer Science 2283 Isabelle/HOL A Proof Assistant for Higher-Order Logic
2002 年出版218 页ISBN：3540433767
AMERICAN ISSUES:A PRIMARY SOURCE READER IN UNITED STATES HISTORY VOLUME I:TO 1877 SECOND EDITION
1999 年出版360 页ISBN：0137755457
A GRAMMAR OFLATE MODERN ENGLISH:PART 2 THE PARTS OF SPEECH SECTION 1
B1916 年出版1437 页ISBN：
On the Discourse of Satire Towards a stylistic model of satirical humour
2003 年出版242 页ISBN：9027233349;1588114406
MAKING AMERICA A HISTORY OF THE UNITED STATES VOLUME 1:TO 1877
CAROL BERKIN CHRISTOPHER L.MILLER ROBERT W.CHERNY JAMES L.GORMLY1995 年出版538 页ISBN：
HEARTWARMING INSPIRATIONAL ROMANCE CELEBRATING JILLIAN HART A MCKASLIN HOMECOMING THE MCKASLIN CLAN
2008 年出版251 页ISBN：9780373150809;0373150806
A GUIDE TO THE SAFE HANDLING OF HAZARDOUS MATERIALS ACCIDENTS SECOND EDITION
1990 年出版63 页ISBN：080311415X
CITING & TYPING THE LAW A GUIDE TO LEGAL CITATION & STYLE THIRD EDITION
19921992 年出版282 页ISBN：0934961093
