A Logic for Expressions with Side-Effects

POPL (1982), pp. 268-280

Abstract