Mints, Grigori E., Tupailo, Sergei and Buchholtz, Wilfried. 1996. “Epsilon Substitution Method for Elementary Analysis.”Archive for Mathematical Logic 35: 103–130.
Tupailo, Sergei. 2007. “Fixpoints of Models Constructions.”Logique et Analyse 50(197): 63–78.