An axiomatic proof technique for parallel programs
scientific article; zbMATH DE number 3488599