@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",
  pages        = "365--383",
  location     = "San Diego, CA, USA",
  doi          = "http://doi.acm.org/10.1145/1094811.1094840",
}