Embedding Properties of Total Recursive Functions. - Winfried Maier; Wolfgang Menzel; Volker Sperschneider (Math. Log. Q., 1982)