APA (7th ed.) Citation

Hesselink, W. H. (1992). Programs, recursion, and unbounded choice: Predicate-transformation semantics and transformation rules. Cambridge University Press. https://doi.org/10.1017/CBO9780511569784

Chicago Style (17th ed.) Citation

Hesselink, Wim H. Programs, Recursion, and Unbounded Choice: Predicate-transformation Semantics and Transformation Rules. Cambridge: Cambridge University Press, 1992. https://doi.org/10.1017/CBO9780511569784.

MLA (9th ed.) Citation

Hesselink, Wim H. Programs, Recursion, and Unbounded Choice: Predicate-transformation Semantics and Transformation Rules. Cambridge University Press, 1992. https://doi.org/10.1017/CBO9780511569784.