Static analysis of software the abstract interpretation (John Wiley & Sons, 2012)