1. Domain theory and the logic of observable properties;Abramsky,1987
2. On duality for the modal μ-calculus;Ambler,1993
3. Isomorphisms between state and predicate transformers;Bonsangue,1993
4. Relating multifunctions and predicate transformers through closure operators;Bonsangue,1994
5. On topological quotient maps preserved by pullbacks or products;Day,1970