@inproceedings{MiYa05,
  title = "Data Refinement with Low-level Pointer Operations",
  author = "Ivana Mijajlovic and Hongseok Yang",
  year = "2005",
  address = "Tsukuba",
  booktitle = "Proceedings of the 3rd Asian Symposium on Programming Languages and Systems",
  isbn = "3-540-29735-9",
  month = "November",
  pages = "19--36",
  publisher = "Springer-Verlag",
  series = "Lecture Notes in Computer Science",
  volume = "3780",
}