https://9dok.net/document/q05v2n9l-korrekte-software-grundlagen-methoden-vorlesung-vorwärts-floyd-hoare.html