The loop of formal power series with noncommutative coefficients under substitution | Publicación