https://9pdf.co/document/zx5n61nd-the-formal-semantic-foundations-of-the-analysis.html