Koepkeand Seyfferth. Ordinal Machines and Admissible Recursion Theory. Elsevier BV, 2009, doi:10.1016/j.apal.2009.01.005.