Semantics of Local Variables (1992)

by P.W. O'Hearn, R. D. Tennent