«Static Analysis of Software. The Abstract Interpretation», benzeri kitaplar