Non-deterministic expressions and predicate transformers (1997)

by Joseph M Morris
Venue:Inf. Process. Lett