https://9dok.net/document/y4wdeem0-prof-dr-jan-jürjens-softwarekonstruktion-vorlesung-ws.html