Stadler, Stephan (2014): New obstructions to smooth nonpositively curved metrics in dimension 4. Dissertation, LMU München: Fakultät für Mathematik, Informatik und Statistik