@PhdThesis{       Van-Horn,
  Author        = "Van Horn, David",
  date-added    = "2013-06-25 15:02:14 +0000",
  date-modified = "2013-06-25 15:02:42 +0000",
  Keywords      = "control-flow analysis",
  Title         = "The Complexity of Flow Analysis in Higher-Order Languages",
  Year          = "2009",
  File          = "The Complexity of Flow Analysis in Higher-Order Languages - Van Horn (0) (0) - a - a - r.pdf"
}

@PhdThesis{ Van-Horn, Author = "Van Horn, David", date-added = "2013-06-25 15:02:14 +0000", date-modified = "2013-06-25 15:02:42 +0000", Keywords = "control-flow analysis", Title = "The Complexity of Flow Analysis in Higher-Order Languages", Year = "2009", File = "The Complexity of Flow Analysis in Higher-Order Languages - Van Horn (0) (0) - a - a - r.pdf" }