https://9dok.net/document/qvl75e2l-semantik-von-programmiersprachen.html