@article{AIHPA_1987__47_1_85_0,
     author = {Celletti, Alessandra and Falcolini, Corrado and Porzio, Anna},
     title = {Rigorous numerical stability estimates for the existence of {KAM} tori in a forced pendulum},
     journal = {Annales de l'I.H.P. Physique th\'eorique},
     pages = {85--111},
     publisher = {Gauthier-Villars},
     volume = {47},
     number = {1},
     year = {1987},
     mrnumber = {912758},
     zbl = {0636.70017},
     language = {en},
     url = {http://archive.numdam.org/item/AIHPA_1987__47_1_85_0/}
}