Computable Structures and the Hyperarithmetical Hierarchy, Volume 144 by J. Ash C.J. Knight & C.J. Ash