Isomorphisms between predicate and state transformers (1993)

by M M Bonsangue, J N Kok
Venue:In Proc., MFCS '93, Springer LNCS 711