APA (7th ed.) Citation

Hesselink, W. H. (1992). Programs, recursion and unbounded choice: Predicate-transformation semantics and transformation rules. Cambridge University Press.

Chicago Style (17th ed.) Citation

Hesselink, Wim H. Programs, Recursion and Unbounded Choice: Predicate-transformation Semantics and Transformation Rules. Cambridge, [England]: Cambridge University Press, 1992.

MLA (9th ed.) Citation

Hesselink, Wim H. Programs, Recursion and Unbounded Choice: Predicate-transformation Semantics and Transformation Rules. Cambridge University Press, 1992.