Conjunctive predicate transformers for reasoning about concurrent computation - Chandy, K. M.; Sanders, Beverly A. (Techn. Hochschule, 1993)