@TechReport{      Sabelfeld_forwardsand,
  Author        = "Sabelfeld, Andrei and Sabelfeld, Viktor",
  date-added    = "2013-07-09 13:29:43 +0000",
  date-modified = "2013-07-09 13:29:57 +0000",
  Keywords      = "control-flow analysis",
  Title         = "Forwards and Backwards Analysis for Functional Programs",
  File          = "Forwards and Backwards Analysis for Functional Programs - Sabelfeld, Sabelfeld (0) (0) - a - a - m.pdf"
}

@TechReport{ Sabelfeld_forwardsand, Author = "Sabelfeld, Andrei and Sabelfeld, Viktor", date-added = "2013-07-09 13:29:43 +0000", date-modified = "2013-07-09 13:29:57 +0000", Keywords = "control-flow analysis", Title = "Forwards and Backwards Analysis for Functional Programs", File = "Forwards and Backwards Analysis for Functional Programs - Sabelfeld, Sabelfeld (0) (0) - a - a - m.pdf" }