https://9dok.net/document/z3dxowme-formale-modellierung-vorlesung-vom-einführung.html