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