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