Perron, Oskar: Ein Beweis für die Primalität der Zahl 231 - 1= 2 147 483 647. München 1949. Sitzungsberichte: 1948,12.. https://publikationen.badw.de/en/003383596