Power domains and predicate transformers a topological view - Smyth, M. B. (1983)