K. Mani Chandy Beverly A. Sanders Predicate Transformers for Reasoning about Concurrent Computation. 129-148 1995 24 Sci. Comput. Program. 2 db/journals/scp/scp24.html#ChandyS95