Algebraic Model of an Arithmetic Unit for TTE-Computable Normalized Rational Numbers | Publicación