Static Analysis - Cezara Dr?goi, Suvam Mukherjee, Kedar Namjoshi (Springer, 2021)