1974, "Arithmetical functions and minimization," "Zeitschrift für mathematische Logik und Grundlagen der Mathematik 20": 353-354.