Verification of Sequential and Concurrent Programs Second Edition
1997 年出版364 页ISBN：0387948961
AN INTRODUCTION TO MECHANISMS IN PHARMACOLOGY AND THERAPEUTICS
2222 年出版411 页ISBN：0433312009
PRINTING INK AND OVERPRINT VARNISH FORMULATIONS Recent Developments
1991 年出版163 页ISBN：0815512597
Thrillers Genesis and Structure of a Popular Genre
1978 年出版232 页ISBN：0713161434
On Apologising in Negative and Positive Politeness Cultures
2009 年出版296 页ISBN：9789027254351
EUROPEAN IMPERIALISM IN THE NINETEENTH AND TWENTIETH CENTURIES
1982 年出版273 页ISBN：0882298127
ENUMERATIVE INVARIANTS IN ALGEBRAIC GEOMETRY AND STRING THERY
2008 年出版201 页ISBN：9783540798132
SOME TOPOLOGICAL AND GEOMETRICAL STRUCTURES IN BANACH SPACES
1987 年出版119 页ISBN：0821824414
