«ЕКСПЕРИМЕНТАЛЬНЕ ДОСЛІДЖЕННЯ МЕТОДИКИ ВИКОРИСТАННЯ СИСТЕМИ MAXIMA ЯК ЗАСОБУ НАВЧАННЯ ДОСЛІДЖЕННЯ ОПЕРАЦІЙ БАКАЛАВРІВ ІНФОРМАТИКИ », ITE, вип. 24, с. 147–158, Лис 2015, doi: 10.14308/ite000547.