@article{sharp-tse06,
  author = "Mariana Sharp and Atanas Rountev", 
  title = "Static Analysis of Object References in {RMI}-based {Java} Software",
  journal = "IEEE Transactions on Software Engineering",
  year = 2006,
  month = sep,
  volume = 32,
  number = 9,
  pages = "664-681"
}