Unifying wp and wlp. - Morgan, Carroll
Keywords: Formal semantics; Program correctness; Weakest precondition; Weakest liberal precondition; Egli-Milner order