@article{OhPyYa03,
  title = "Possible Worlds and Resources: The Semantics of {B}{I}",
  author = "David Pym and Peter W. O'Hearn and Hongseok Yang",
  year = "2004",
  journal = "Theoretical Computer Science",
  month = "May",
  number = "1",
  pages = "257--305",
  publisher = "Elsevier",
  volume = "315",
}