Tools and Methods of Program Analysis - Anna Kalenkova (Springer International Publishing, 2021)