Arratia-Quesada, A.A., Chauhan, S.R., Stewart, I.A., "Hierarchies in classes of program schemes", Journal of Logic and Computation, 1999