І. А. Твердохліб, «Навчання мінімізації булевих функцій як невід’ємна складова вивчення логічних основ інформатики», kosn, вип. 14 (21), с. 59–65, Лют 2014.