https://9dok.net/document/q5m46w6w-vorlesung-werkzeuge-der-informatik.html