https://9dok.net/document/q7w48n6d-formale-grundlagen-der-informatik-ii.html