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