E. D. Smirnova, “The problem of formalization of some nonstandard semantics”, LLP, vol. 9, no. 9, pp. 153–157, Jan. 2004.