Embedding Properties of Total Recursive Functions

@article{Maier1982EmbeddingPO,
  title={Embedding Properties of Total Recursive Functions},
  author={Winfried Maier and Wolfgang Menzel and Volker Sperschneider},
  journal={Math. Log. Q.},
  year={1982},
  volume={28},
  pages={565-574}
}