The "Hoare Logic" of concurrent programs (1980)

by L Lamport
Venue:Acta Informatica