Some methods for obtaining ZF-provable $\Delta_1$ operations and formulas
by SHIH-CHAO LIU
Vol. 1 No. 2 (1973)
Contact with author not yet established; unable to provide full text.