Non-deterministic expressions and predicate transformers.

Xehetasun bibliografikoak
Argitaratua izan da:	Information processing letters. 61, 5 (1997).
Egile nagusia:	Morris, Joseph M.
Formatua:	Artikulua
Hizkuntza:	English
Gaiak:	Non-deterministic expression. Weakest preconditions. Refinement calculus.