Isomorphisms between predicate and state transformers - Bonsangue, Marcello (Centrum voor Wiskunde en Informatica, 1993)