@inproceedings{OhYaRe03,
  title = "Separation and Information Hiding",
  author = "Peter W. O'Hearn and Hongseok Yang and John C. Reynolds",
  year = "2004",
  address = "Venice",
  booktitle = "Proceedings of the 31st ACM Symposium on Principles of Programming Languages",
  isbn = "1-58113-729-X",
  month = "January",
  pages = "268--280",
  publisher = "ACM",
}