Integration of States in General

Isolating Side Effects in Sequential Languages

J.G. Riecke and R. Viswanathan[ (ed)] (INPROCEEDINGS, 1995)

Reasoning about Explicit and Implicit Representations of State

A. Sabry and J. Field (TECHREPORT, 1993)