L. August and L. R. Angeles, Franova: A Theory of Constructible Domains -a formalization of inductively defined systems of objects for a user-independent automation of inductive theorem proving, Part I A. Yasuhara: Recursive Function Theory and Logic, pp.1214-1220, 1971.