摘要：
An axiomatic basis for computer programminghttp://www.spatial.maine.edu/~worboys/processes/hoare%20axiomatic.pdfC. A. R. HoareCommunicating Sequential Processes (CSP)http://www.usingcsp.com/C. A. R. HoareCall-by-name, call-by-value, and the lambda calculushttp://homepages.inf.ed.ac.uk/gdp/publicatio 阅读全文
