@Article{         SharirPnueli,
  Author        = "Sharir, Micha and Pnueli, Amir",
  date-added    = "2012-12-07 10:07:39 +0000",
  date-modified = "2012-12-07 10:08:52 +0000",
  Journal       = "Program Flow Analysis: Theory and Applications",
  Pages         = "189--233",
  Title         = "Two Approaches to Inteprocedural Data Flow Analysis",
  Year          = "1981",
  File          = "Two Approaches to Inteprocedural Data Flow Analysis - Sharir, Pnueli (0) (0) - a - a - q.pdf"
}

@Article{ SharirPnueli, Author = "Sharir, Micha and Pnueli, Amir", date-added = "2012-12-07 10:07:39 +0000", date-modified = "2012-12-07 10:08:52 +0000", Journal = "Program Flow Analysis: Theory and Applications", Pages = "189--233", Title = "Two Approaches to Inteprocedural Data Flow Analysis", Year = "1981", File = "Two Approaches to Inteprocedural Data Flow Analysis - Sharir, Pnueli (0) (0) - a - a - q.pdf" }