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

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