An axiomatic proof technique for parallel programs i (1976)

by S Owicki, D Gries
Venue:Acta Inf