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