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