https://9dok.net/document/qo5vgw95-formale-modellierung-vorlesung-vom-modellierung-von-programmen.html