Static analysis of software the abstract interpretation - Boulanger, Jean-Louis. (Wiley, 2012)