Unifying wp and wlp.

Bibliografische gegevens
Gepubliceerd in:	Information processing letters. 59, 3 (1996).
Hoofdauteur:	Morgan, Carroll
Formaat:	Artikel
Taal:	English
Onderwerpen:	Formal semantics. Program correctness. Weakest precondition. Weakest liberal precondition. Egli-Milner order.