https://9dok.net/document/qo5l7257-formale-grundlagen-der-informatik-i.html