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