1. A Formalization of Dedekind Domains and Class Groups of Global Fields
2. Siegfried Bosch , Ulrich Güntzer , and Reinhold Remmert . 1984. Non-archimedean analysis : a systematic approach to rigid analytic geometry . Springer-Verlag Berlin Heidelberg , Berlin . isbn:0387125469 Siegfried Bosch, Ulrich Güntzer, and Reinhold Remmert. 1984. Non-archimedean analysis : a systematic approach to rigid analytic geometry. Springer-Verlag Berlin Heidelberg, Berlin. isbn:0387125469
3. Nicolas Bourbaki . 1971. Éléments de mathématique. Topologie générale. Chapitres 1 à 4 . Hermann , Paris . Nicolas Bourbaki. 1971. Éléments de mathématique. Topologie générale. Chapitres 1 à 4. Hermann, Paris.