A. F. Kurgaev, “ The formalization of lists in the meta-language of normal forms of knowledge ”, Dopov. Nac. akad. nauk Ukr., no. 10, pp. 18–27, Sep. 2024.