Primitive recursive and double recursive ZF-provable $\Delta_1$ operations
by SHIH-CHAO LIU(劉世超)
Vol. 3 No. 1 (1975)
Contact with author not yet established; unable to provide full text.