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
