Data flow analysis theory and practice - Khedker, Uday (CRC Press/Taylor & Francis, 2009)