Converesely if you want a weighty tome on the matter see this recent book by Cousot: https://www.amazon.com/Principles-Abstract-Interpretation-Pa...