Automatische Analyse des Ressourcenbedarfs von imperativen Programmen door Jan Mehler