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