https://9dok.net/document/qo516ep5-klausur-formale-systeme-fakult-at-ur-informatik-ss.html