Power domains and predicate transformers: A topological view | doi.page