The modification of the meta-language of normal forms of knowledge - A. F. Kurgaev (Problems in programming, 2019)