Cita APA (7a ed.)

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

Cita Chicago Style (17a ed.)

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

Cita MLA (8a ed.)

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