https://123dok.net/document/y8gxjj65-a-syntactic-semantic-approach-to-incremental-verification.html