FOUNDATIONS OF DEPENDABLE COMPUTING System Implementation
1994 年出版321 页ISBN:0792394860
10TH INTERNATIONAL OPTICAL COMPUTING CONFERENCE 1983
2222 年出版221 页ISBN:0818600047
VERIFICATION AND VALIDATION IN SCIENTIFIC COMPUTING
2010 年出版767 页ISBN:9780521113601