Bonsangue, M. (1993). Isomorphisms between predicate and state transformers. Centrum voor Wiskunde en Informatica.
Chicago-Zitierstil (17. Ausg.)Bonsangue, Marcello. Isomorphisms Between Predicate and State Transformers. Amsterdam: Centrum voor Wiskunde en Informatica, 1993.
MLA-Zitierstil (9. Ausg.)Bonsangue, Marcello. Isomorphisms Between Predicate and State Transformers. Centrum voor Wiskunde en Informatica, 1993.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.