@TECHREPORT{MLARSJ07,
  AUTHOR =       "Roman Manevich and Tal Lev-Ami and Ganesan Ramalingam and Mooly Sagiv and Josh Berdine",
  TITLE =        "Heap Decomposition for Concurrent Shape Analysis",
  INSTITUTION =  "Tel Aviv University",
  YEAR =         2007,
  number =       {TR-2007-11-85453},
  month =        nov,
  note = {Available at http://www.cs.tau.ac.il/$\sim$rumster/TR-2007-11-85453.pdf}
}