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