APA (7th ed.) Citation

Hesselink, W. H. (1992). Programs, recursion and unbounded choice: Predicate-transformation semantics and transformation rules (1. publ.). Cambridge Univ. Pr.

Chicago Style (17th ed.) Citation

Hesselink, Wim H. Programs, Recursion and Unbounded Choice: Predicate-transformation Semantics and Transformation Rules. 1. publ. Cambridge: Cambridge Univ. Pr, 1992.

MLA (9th ed.) Citation

Hesselink, Wim H. Programs, Recursion and Unbounded Choice: Predicate-transformation Semantics and Transformation Rules. 1. publ. Cambridge Univ. Pr, 1992.