Tools and Methods of Program Analysis - Itsykson (Springer International Publishing, 2018)