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