Komplexität von Algorithmen mit Anwendung auf die Analysis. Claus-Peter Schnorr (1971) Archiv für mathematische Logik und Grundlagenforschung