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-Zitierstil (17. Ausg.)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-Zitierstil (9. Ausg.)Hesselink, Wim H. Programs, Recursion, and Unbounded Choice: Predicate-transformation Semantics and Transformation Rules. Cambridge University Press, 1992. https://doi.org/10.1017/CBO9780511569784.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.