P. Błaszczyk and J. Major, “Calculus without the concept of limit”, AUPC, vol. 6, pp. 19–40, Jul. 2017.