@inproceedings{ReYa03,
  title = "Correctness of Data Representations involving Heap Data Structures",
  author = "Uday S. Reddy and Hongseok Yang",
  year = "2003",
  booktitle = "Proceedings of the 12th European Symposium on Programming",
  isbn = "3-540-00886-1",
  month = "April",
  pages = "223--237",
  publisher = "Springer-Verlag",
  series = "Lecture Notes in Computer Science",
  url = "http://www.cs.ox.ac.uk/people/hongseok.yang/paper/heap-parametricity.ps",
  volume = "2618",
}