Rigorous numerical stability estimates for the existence of KAM tori in a forced pendulum Alessandra Celletti; Corrado Falcolini; Anna Porzio — 1987 Annales de l'I.H.P. Physique théorique