Technical report / Univ. of Toronto. N 228/90 : Characterizations of the basic feasible functionals of finite type / S.A.Cook,B.M.Kapron, 1990. - 24,18 p. с. - Текст : непосредственный.
Kapron B.M. Feasible computation in higher types : Diss. / B.M.Kapron, 1991. - 104,19 p. p. - Текст : непосредственный.