The 'Hoare logic' of concurrent programs (1980)

by L Lamport
Venue:Acta Inf