@article{ReYa2004,
   author = {Uday S. Reddy and Hongseok Yang},
   title = {Correctness of Data Representations involving Heap Data Structures},
   journal = {Science of Computer Programming},
   note = {(To appear)},
   format = {ps},
   category = {journal separation-logic},
}