AN INTRODUCTION TO NONPROCEDURAL LANGUAGES USING NPL TM
1983 年出版493 页ISBN:0070653011
LECTURE NOTES IN MATHEMATICS 1352: ALGEBRA SOME CURRENT TRENDS
1988 年出版242 页ISBN:3540503714;0387503714
FORMAL DEVELPMENT OF PROGRAMS AND PROOFS
EDSGER W.DUKSTRA2222 年出版242 页ISBN:0201172372