Verifying properties of parallel programs: An axiomatic approach (1976)

by S S Owicki, D Gries
Venue:Commun. ACM