W. D. Hart, “On Non-Well Founded Sets”, CRHF, vol. 24, no. 72, pp. 3–21, Dec. 2018.