Programs, recursion and unbounded choice : predicate-transformation semantics and transformation rules /
Hesselink, Wim H.
Cambridge : Cambridge University Press,
1992.