«Новий підхід до формальної точної специфікації придбання знань». 2019. Математичні машини і системи, вип. 4 (Грудень): 139–145. https://doi.org/10.34121/1028-9763-2019-4-139–145.