Computable Structures And The Hyperarithmetical Hierarchy by J. Ash C.J. Knight & C.J. Ash