A parameterization method for the computation of invariant tori and their whiskers in quasi-periodic maps: Rigorous results | Publicación