Buchholz, Wilfried and Sieg, W. (1990): A note on polynomial time computable arithmetic. In: American Mathematical Society (ed.) , Logic and Computation. Vol. 106. Providence, RI: . pp. 51-55