Friedmann, Oliver (2011): Exponential Lower Bounds for Solving Infinitary Payoff Games and Linear Programs. Dissertation, LMU München: Fakultät für Mathematik, Informatik und Statistik
Schimanski, Stefan (2009): Polynomial Time Calculi. Dissertation, LMU München: Fakultät für Mathematik, Informatik und Statistik