@INPROCEEDINGS{neamtiu:tr08,
  AUTHOR = {Iulian Neamtiu and Michael Hicks and Jeffrey S. Foster and Polyvios Pratikakis},
  TITLE = {Contextual Effects for Version-Consistent Dynamic Software Updating and Safe Concurrent Programming},
  INSTITUTION = {Department of Computer Science, University of Maryland},
  NUMBER = {CS-TR-4920},
  NOTE = {Extends POPL 2008 paper with full formal development},
  YEAR = 2007
}