https://9dok.net/document/yr36l39o-formaletechnikendersoftware-entwicklungübungsblatt-besprechungam-hölzl-kroiÿ-ludwig-maximilians-universitätmüncheninstitutfürinformatik.html