P.B.Levy. Possible World Semantics For General Storage in Call-By-Value [ps] LNCS vol. 2471 , J. Bradfield ed., Proceedings, Computer Science Logic, Edinburgh, September 2002 © Springer-Verlag.