https://9pdf.org/document/zpnvmwvr-denotational-framework-data-flow-analysis.html