https://123dok.net/document/zgw9d1pn-gentle-introduction-formal-verification-computer-systems-abstract-interpretation.html