1. Ahmed, A.: Semantics of Types for Mutable State. Ph.D. thesis, Princeton University (2004)
2. Ahmed, A., Appel, A.W., Virga, R.: A stratified semantics of general references embeddable in higher-order logic. In: LICS (2002)
3. Appel, A., Melliès, P.-A., Richards, C., Vouillon, J.: A very modal model of a modern, major, general type system. In: POPL (2007)
4. Appel, A.W., Dockins, R., Hobor, A.: (2009).
http://vst.cs.princeton.edu/msl/
5. Lecture Notes in Computer Science;J Bengtson,2012