@Article{HillS04hosc,
  author = {Patricia M. Hill and Fausto Spoto},
  title = {Deriving Escape Analysis by Abstract Interpretation: Proofs of results},
  journal = {Higher-Order and Symbolic Computation},
  publisher = {Springer, Netherlands},
  volume = 19,
  number = 4,
  year = 2006,
  Pages	= {415--463},
  url = {http://www.springerlink.com/content/t248l338307vt301/},
}