https://9dok.net/document/yev1mwx0-sommersemester-bernhardbeckert-grundlagendertheoretischeninformatik-einführungindietheoretischeinformatiki-vorlesung.html