Power domains and predicate transformers: A topological view (1983)

by M B Smyth
Venue:In Proc. of International Colloquium on Automata, Languages, and Programming