Bonsangue M. Semantics, orderings and recursion in the weakest precondition calculus / M.Bonsangue,J.N.Kok, 1992. - 58 p. - Текст : непосредственный.
Bonsangue M. Isomorphisms between predicate and state transformers / M.Bonsangue,J.N.Kok, 1993. - 30 p. - Текст : непосредственный.