@InProceedings{moody2004:logicalmobility,
  author = 	 {Jonathan Moody},
  title = 	 {Logical Mobility and Locality Types},
  booktitle = 	 {Logic Based Program Synthesis and Transformation (LOPSTR)},
  OPTcrossref =  {},
  OPTkey = 	 {},
  OPTpages = 	 {},
  year = 	 {2005},
  editor = 	 {Sandro Etalle},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {LNCS},
  OPTaddress = 	 {},
  month = 	 {},
  OPTorganization = {},
  OPTpublisher = {Springer},
  OPTnote = 	 {},
  URL = {http://www.cs.cmu.edu/~jwmoody/doc/pub/2004-LOPSTR-mobility-locality.ps},
  OPTannote = 	 {As of Feb 2005 only the pre-proceedings are available, LNCS volume, pages are not known yet.}
}