Static Analysis - Bor-Yuh Evan Chang (Springer, 2019)