Kurgaev, A. F. “The Formalization of Lists in the Meta-Language of Normal Forms of Knowledge”. Reports of the National Academy of Sciences of Ukraine, no. 10, Sept. 2024, pp. 18-27, doi:10.15407/dopovidi2017.10.018.