A. Wachowicz, “Methodical Analysis of the Implicit Function Theorem”, AUPC, vol. 17, pp. 69–94, Dec. 2025.