Powerdomains and predicate transformers: a topological view (1983)

by M B Smyth
Venue:Automata, Languages and Programming,” Lecture Notes in Computer Science 154, 662–675