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

by Susan Owicki, David Gries
Venue:Communications of the ACM