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