@InProceedings{   ayers92,
  Author        = "Ayers, A. E.",
  bibsource     = "DBLP, http://dblp.uni-trier.de",
  BookTitle     = "WSA",
  date-added    = "2013-07-10 09:06:41 +0000",
  date-modified = "2013-09-06 09:11:40 +0000",
  Keywords      = "control-flow analysis and no pdf",
  Pages         = "126-134",
  Title         = "Efficient Closure Analysis with Reachability",
  Year          = "1992"
}

@InProceedings{ ayers92, Author = "Ayers, A. E.", bibsource = "DBLP, http://dblp.uni-trier.de", BookTitle = "WSA", date-added = "2013-07-10 09:06:41 +0000", date-modified = "2013-09-06 09:11:40 +0000", Keywords = "control-flow analysis and no pdf", Pages = "126-134", Title = "Efficient Closure Analysis with Reachability", Year = "1992" }