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