The 'Hoare Logic (1984)

by F B Schneider L Lamport
Venue:of CSP and All That", ACM TOPLAS 6,2(April