On the reduction to canonical form of a dynamical system in the neighborhood of a smooth invariant torus

We construct an iterative process for determining a transformation that transforms a given dynamical system in the vicinity of a smooth torus to canonical form. Necessary conditions (and also sufficient conditions) for reducibility are given.