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