Smirnova, E. D. (2004) “The problem of formalization of some nonstandard semantics”, Logic and Logical Philosophy, 9(9), pp. 153–157. doi: 10.12775/LLP.2001.010.