Stav dette: Complexity and structure / Uwe Schöning.