1. Parallel Program Design, a Foundation;Chandy,1988
2. Conjunctive predicate transformers for reasoning about concurrent computation;Chandy;Sci. Comput. Programming,1995
3. Predicate Calculus and Program Semantics, Texts and Monographs in Computer Science;Dijkstra,1990
4. A predicate transformer for the progress property ‘to-always’;Dijkstra;Formal Aspects Comput.,1997
5. Relational calculus and relational program semantics, CS-R9408;Dijkstra,1994