Non-deterministic expressions and predicate transformers.

Bibliografiset tiedot
Julkaisussa:	Information processing letters. 61, 5 (1997).
Päätekijä:	Morris, Joseph M.
Aineistotyyppi:	Artikkeli
Kieli:	English
Aiheet:	Non-deterministic expression. Weakest preconditions. Refinement calculus.