@InProceedings{martin-finding,
  author =       "Michael Martin and Benjamin Livshits and Monica S.
                 Lam",
  title =        "Finding application errors and security flaws using
                 {PQL}: a program query language",
  booktitle =    "{OOPSLA '05}: Proceedings of the 20th annual {ACM}
                 {SIGPLAN} conference on Object oriented programming
                 systems languages and applications",
  year =         "2005",
  ISBN =         "1-59593-031-0",
  location =     "San Diego, CA, USA",
  DOI =          "http://doi.acm.org/10.1145/1094811.1094840",
}