119 PRACTICAL PROGRAMS FOR THE TRS-80 POCKET COMPUTER
1982 年出版298 页ISBN：0830613501
Verification of Sequential and Concurrent Programs Second Edition
1997 年出版364 页ISBN：0387948961
BASIC BY DESIGN Structured Computer Programming in BASIC
1983 年出版489 页ISBN：0130602698
CTOS/Open Programming Practices and Standards Application Design
1991 年出版498 页ISBN：0131943820
Common Algorithms in Pascal with Programs for Reading
1984 年出版232 页ISBN：0131526375
ARCHITECTURE-INDEPENDENT PROGRAMMING FOR WIRELESS SENSOR NETWORKS
2008 年出版187 页ISBN：9780471778899
SOFTWARE QUALITY ASSURANCE VOLUME II A PROGRAM GUIDE
1988 年出版167 页ISBN：0138231397
