Grupos de automorfismo de predicados computablemente enumerables y endomorfismos de numeraciones. - Elías Fernández-Combarro Álvarez (2013)