domains and predicate transformers: a topological view. volume 154 (1983)

by Power
Venue:of Lec. Not. Comput. Sci