A Logic for Expressions with Side-Effects

Hans-Juergen Boehm. A Logic for Expressions with Side-Effects. In POPL. pages 268-280, 1982.

Bibliographies