✓

@Book{            Nielson:1999:PPA:555142,
  Author        = "Nielson, Flemming and Nielson, Hanne R. and Hankin, Chris",
  Address       = "Secaucus, NJ, USA",
  date-added    = "2020-04-10 11:07:26 +0200",
  date-modified = "2020-04-10 11:07:27 +0200",
  ISBN          = "3540654100",
  Keywords      = "control-flow analysis and reading",
  Publisher     = "Springer-Verlag New York, Inc.",
  Title         = "Principles of Program Analysis",
  Year          = "1999",
  File          = "Principles of Program Analysis - Nielson, Nielson, Hankin (0) (0) - a - a.pdf"
}

@Book{ Nielson:1999:PPA:555142, Author = "Nielson, Flemming and Nielson, Hanne R. and Hankin, Chris", Address = "Secaucus, NJ, USA", date-added = "2020-04-10 11:07:26 +0200", date-modified = "2020-04-10 11:07:27 +0200", ISBN = "3540654100", Keywords = "control-flow analysis and reading", Publisher = "Springer-Verlag New York, Inc.", Title = "Principles of Program Analysis", Year = "1999", File = "Principles of Program Analysis - Nielson, Nielson, Hankin (0) (0) - a - a.pdf" }