T. Kudryk, “Introduction to E. Nelson’s internal set theory”, AUPC, vol. 7, pp. 59–78, Jul. 2017.