Längen und Formeln. - Ernst Specker; Georges Wick (Komplexität von Entscheidungsproblemen 1976, 1976)