Smirnova, E. D. “The Problem of Formalization of Some Nonstandard Semantics”. Logic and Logical Philosophy, vol. 9, no. 9, Jan. 2004, pp. 153-7, doi:10.12775/LLP.2001.010.