@inproceedings{BoCaYa06-ENTCS,
  title = "Variables as Resource in Separation Logic",
  author = "Richard Bornat and Cristiano Calcagno and Hongseok Yang",
  year = "2006",
  booktitle = "Proceedings of the 21st Annual Conference on Mathematical Foundations of Programming Semantics",
  month = "May",
  pages = "247--276",
  publisher = "Elsevier",
  series = "Electronic Notes in Theoretical Computer Science",
  volume = "155",
}