Reference:

N. Rinetzky, J. Bauer, T. Reps, M. Sagiv, and R. Wilhelm. A Semantics for Procedure Local Heaps and its Abstractions. Tech. Rep. 1, AVACS, Sep 2004.

Suggested BibTeX entry:

@techreport{RBRSW04,
    author = {N. Rinetzky and J. Bauer and T. Reps and M. Sagiv and R. Wilhelm},
    institution = {AVACS},
    month = {Sep},
    number = {1},
    title = {{A}~{S}emantics for {P}rocedure {L}ocal {H}eaps and its {A}bstractions},
    type = {Tech. Rep.},
    year = {2004}
}