1980b, "Provability in arithmetic and a schema of Grzegorczyk," "Fundamenta Mathematicae 106": 41-45.