An axiomatic proof technique for parallel programs (1976)

by S S Owicki, D Gries
Venue:Acta Informatica