https://9dok.net/document/q5m0r8x7-korrekte-software-grundlagen-methoden-vorlesung.html