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