D. Agustito, S. Sukiyanto, and K. S. Kuncoro, “Mathematical induction, transfinite induction, and induction over the continuum”, IJMME, vol. 1, no. 2, pp. 180–191, Jun. 2023.