@inproceedings{OhReYa2004,
   author = {Peter W. O'Hearn and John C. Reynolds and Hongseok Yang},
   title = {Separation and Information Hiding},
   booktitle = {Proceedings of ACM Symposium on Principles of Programming Languages},
   pages = {268--280},
   month = {January},
   year = {2004},
   format = {ps},
   category = {conference separation-logic},
}