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