1. R. W. Hockney & C. R. Jesshope, Parallel Computers: Architecture, Programming and Algorithms, Adam Hilger, Bristol, 1981.
2. 𝑝-adic proofs of congruences for the Bernoulli numbers;Johnson, Wells;J. Number Theory,1975
3. Lacunary recurrence formulas for the numbers of Bernoulli and Euler;Lehmer, D. H.;Ann. of Math. (2),1935
4. Jonathan W. Tanner, Proving Fermat’s Last Theorem for Many Exponents by Computer, B. A. Thesis, Harvard University, 1985.
5. On Bernoulli’s numbers and Fermat’s last theorem;Vandiver, H. S.;Duke Math. J.,1937