Non-deterministic expressions and predicate transformers (1997)

by J Morris
Venue:Information Processing Letters 61