A. Baker, “Enumerative Induction in Mathematics”, JPM, vol. 1, pp. 5–21, Sep. 2024.