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