【书名】：《FORMAL DEVELPMENT OF PROGRAMS AND PROOFS》
【作者】：EDSGER W.DUKSTRA
【出版社】：ADDISON-WESLEY PUBLISHING COMPANY
【时间】：
【页数】：242
【ISBN】：0201172372
【SS码】：40111563