Non-deterministic expressions and predicate transformers. - Morris, Joseph M. (Information processing letters.)