APA (7th ed.) Citation

Chandy, K. M., & Sanders, B. A. (1993). Conjunctive predicate transformers for reasoning about concurrent computation.

Chicago Style (17th ed.) Citation

Chandy, K. Mani, and Beverly A. Sanders. Conjunctive Predicate Transformers for Reasoning About Concurrent Computation. Zürich, 1993.

MLA (9th ed.) Citation

Chandy, K. Mani, and Beverly A. Sanders. Conjunctive Predicate Transformers for Reasoning About Concurrent Computation. 1993.

Warning: These citations may not always be 100% accurate.