Conjunctive predicate transformers for reasoning about concurrent computation - Chandy, K. M.; Sanders, Beverly A. (Eidgenössische Technische Hochschule Zürich, Departement Informatik, 1993)