Static Analysis
  MLA
  Blazy, and Thomas Jensen. Static Analysis. Springer Berlin Heidelberg, 2015.
  APA
  Blazy, B., & Jensen, T. (2015). Static Analysis. Springer Berlin Heidelberg.
  Chicago
  Blazy, and Thomas Jensen. Static Analysis. : Springer Berlin Heidelberg, 2015.