Schimanski, Stefan (2009): Polynomial Time Calculi. Dissertation, LMU München: Fakultät für Mathematik, Informatik und Statistik