Validation of Stochastic Systems A Guide to Current Research
2004 年出版467 页ISBN：
Components of System Safety Proceedings of the Tenth Safety-critical Systems Symposium
Southampton2002 年出版0 页ISBN：
ANALYSIS AND DESIGN OF DIGITAL CIRCUITS AND COMPUTER SYSTEMS
1976 年出版598 页ISBN：0916460037
DESIGN AND IMPLEMENTATION OF COMPUTER-BASED INFORMATION SYSTEMS
1979 年出版368 页ISBN：9028605193
The Design And Operation Of FMS Flexible Manufacturing Systems
1983 年出版348 页ISBN：0903608448
QUASI-PERIODIC MOTIONS IN FAMILIES OF DYNAMICAL SYSTEMS
1996 年出版195 页ISBN：9783540620259
