A. Kondo, “Three alternative proofs of the Banach contraction principle”, AUPC, vol. 16, pp. 35–41, Dec. 2024.