domains and predicate transformers: a topological view , Techincal monograph 126 (1983)

by Power