Verification of Sequential and Concurrent Programs Second Edition
1997 年出版364 页ISBN：0387948961
Common Algorithms in Pascal with Programs for Reading
1984 年出版232 页ISBN：0131526375
DEVELOPING AND IMPLEMENTING INDIVIDUALIZED EDUCATION PROGRAMS SECOND EDITION
1982 年出版369 页ISBN：0675099080
FOSTERING VOLUNTEER PROGRAMS IN THE PUBLIC SECTOR:PLANNING
INITIATING1990 年出版243 页ISBN：
GRADUATE TEXTS IN MATHEMATICS 210:NUMBER THEORY IN FUNCTIONS FIELDS
2002 年出版361 页ISBN：0387953353
Developing industrial water pollution control programs : a primer
Eckenfelder1997 年出版218 页ISBN：1566765366
PROGRAM DERIVATION THE DEVELOPMENT OF PROGRAMS FORM SPECIFICATIONS
GEOFF DROMEY2222 年出版630 页ISBN：
DEVELOPING MINDS PROGRAMS FOR TEACHING THINKING REVISED EDITION
VOLUME 21991 年出版122 页ISBN：0871201801
GRADUATE TEXTS IN MATHEMATICS 69: SERGE LANG CYCLOTOMIC FIELDS II
1980 年出版164 页ISBN：0387903070;3540903070;7506200899
