MARTIN HARWIT NEIL J.A.SLOANE2222 年出版249 页ISBN:0123300509
MONTAGUE RUBEN AND E.GEOFFREY WOODWARD1982 年出版197 页ISBN:0333307054
FORMAL DEVELPMENT OF PROGRAMS AND PROOFS
EDSGER W.DUKSTRA2222 年出版242 页ISBN:0201172372
SIR FRANCIS GRAHAM SMITH F.R.S. J.H.THOMSON2222 年出版320 页ISBN: