@InProceedings{rbt,
    author ={Tobias Nipkow},
    title ={Verified Root-Balanced Trees},
    booktitle ={Asian Symposium on Programming Languages and Systems, APLAS 2017},
    pages ={255--272},
    series ={LNCS},
    year ={2017},
    volume ={10695},
    editor ={Bor-Yuh Evan Chang},
    publisher ={Springer},
    note = {\url{https://www21.in.tum.de/~nipkow/pubs/aplas17.pdf}},
}
@article{ntt,
    author  = {Thomas Ammer and Katharina Kreuzer},
    title   = {Number Theoretic Transform},
    journal = {Archive of Formal Proofs},
    month   = {August},
    year    = {2022},
    note    = {\url{https://isa-afp.org/entries/Number_Theoretic_Transform.html},
    Formal proof development},
    ISSN    = {2150-914x},
}
@Article{s91,
    author = {Schönhage, A. and Strassen, V.},
    title = {Schnelle Multiplikation gro{\ss}er Zahlen},
    journal = {Computing},
    volume = {7},
    pages = {281--292},
    year = {1971},
}