Tools and Methods of Program Analysis - Itsykson; Scedrov, Andre; Zakharov, Victor (Springer International Publishing, 2018)