https://9dok.net/document/y8gn3882-korrekte-software-grundlagen-methoden-vorlesung-äquivalenz-operationalen-denotationalen.html