https://9dok.net/document/z3dxowp7-praktische-informatik-funktionale-programmierung-vorlesung-vom-spezifikation-beweis.html