@incollection{herz12class,
  author = {Alexander Herz and Kalmer Apinis},
  title = {Class-{M}odular, {C}lass-{E}scape and {P}oints-to {A}nalysis for {O}bject-{O}riented {L}anguages},
  booktitle = {NASA Formal Methods},
  editor = {Alwyn Goodloe and Suzette Person},
  year = 2012,
  pages = {106-119},
  series = {Lecture Notes in Computer Science},
  volume = {7226},
  publisher = {Springer Berlin / Heidelberg},
}