https://9dok.net/document/y4wr59xk-zur-kontextanalyse-einer-algebraischen-programmiersprache.html