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