@article{refinement-fac09,
  title = "Blaiming the Client: On Data Refinement in the Presence of Pointers",
  author = "Ivana Filipovic and Peter W. O’Hearn and Noah Torp-Smith and Hongseok Yang",
  year = "2010",
  journal = "Formal Aspects of Computing",
  number = "5",
  pages = "547--583",
  publisher = "Springer-Verlag",
  volume = "22",
}