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