@book{nielsonPrinciplesProgramAnalysis2015,
  title = {Principles of Program Analysis},
  author = {Nielson, Flemming and Nielson, Hanne R. and Hankin, Chris},
  date = {2015},
  publisher = {{Springer Berlin / Heidelberg}},
  location = {{Berlin, Heidelberg}},
  isbn = {978-3-662-03811-6},
  langid = {english},
  annotation = {OCLC: 1066177292},
  file = {/home/dominikh/notes/pdfs/nielsonPrinciplesProgramAnalysis2015.pdf}
}