https://9dok.net/document/yr3md44v-operationale-vs-denotationale-semantik.html