TY  - BOOK
AU  - Hesselink, Wim H
TI  - Programs, recursion, and unbounded choice : predicate-transformation semantics and transformation rules
SN  - 9780521018296
SN  - 200627564
PY  - 2005///
CY  - Cambridge
PB  - Cambridge University Press
KW  - Computer programming
N1  - Includes bibliographical references (p. [217]-220) and index
ER  -