Y. A. Levickiy, “Из истории формализации семантики”, FS, vol. 7, no. 1, Oct. 2019.