https://9dok.net/document/z1d9lv8v-korrekte-software-grundlagen-und-methoden-vorlesung-denotationale-semantik.html