https://9dok.net/document/z1d9lno3-sommersemester-sergeautexier-christophlüth-formalemodellierungvorlesung-vom-formalemodellierungmitumlundocl.html