@incollection{AST_1995__228__5_0,
     author = {Abramovich, Dan},
     title = {Formal finiteness and the torsion conjecture on elliptic curves},
     booktitle = {Columbia university number theory seminar - New-York, 1992},
     series = {Ast\'erisque},
     pages = {5--17},
     year = {1995},
     publisher = {Soci\'et\'e math\'ematique de France},
     number = {228},
     language = {en},
     url = {https://www.numdam.org/item/AST_1995__228__5_0/}
}