Index Sets of Computable Structures - Wesley Calvert; Valentina S. Harizanov; Julia F. Knight; Sara Miller (2008)