(Bachelor's thesis by Max Pohlmann)
More information on the GitHub repo
View thesis document
View theory dependencies