Richard Gault Iain A. Stewart An Infinite Hierarchy in a Class of Polynomial-Time Program Schemes. 753-783 2006 39 Theory Comput. Syst. 5 http://dx.doi.org/10.1007/s00224-005-1230-6 db/journals/mst/mst39.html#GaultS06