SOFTWARE ENGINEERING A PRACTITIONER'S APPROACH THIRD EDITION
1991 年出版793 页ISBN：0070508143
Numerical Software with Result Verification International Dagstuhl Seminar
2004 年出版315 页ISBN：3540212604
TOOLS FOR SCHOOLS:APPLICATIONS SOFTWARE FOR THE CLASSROOM
1988 年出版316 页ISBN：0534090303
LOCAL AREA NETWORKING WITH NOVELL SOFTWARE SECOND EDITION
1994 年出版393 页ISBN：0877090416
CURRENT THERRPY OF TRRUMR 1984-1985
DONALD D.TRUNKEY1984 年出版178 页ISBN：0941158128
Real Time Programming Languages
Specification and Verification2010 年出版245 页ISBN：9810225667
