A. J. Kfoury Jerzy Tiuryn Pawel Urzyczyn On the Expressive Power of Finitely and Universally Polymorphic Recursive Procedures. 1-41 1992 93 Theor. Comput. Sci. 1 db/journals/tcs/tcs93.html#KfouryTU92