Ernst Specker Volker Strassen Komplexität von Entscheidungsproblemen Lecture Notes in Computer Science 43 Springer 1976 3-540-07805-3 db/conf/ac/entscheid1976.html