Hierarchies of primitive recursive functions on term algebras - Sprenger, Klaus-Hilmar (Shaker, 1996)
Zugl.: Siegen, Univ., Diss., 1995