Primitive recursive computations. - Stephen H. McCleary (Notre Dame J. Formal Log., 1967)

Lexicographic exponentiation of chains. - W. Charles Holland; Salma Kuhlmann; Stephen H. McCleary (J. Symb. Log., 2005)