https://9dok.net/document/zkwv8pg8-korrekte-software-grundlagen-und-methoden-vorlesung-verifikationsbedingungen-revisited.html