«Методичні рекомендації вивчення теми “Нормальні форми для формул алгебри висловлень” з використанням інтегрованого програмного середовища “МатЛог”» (2008) Збірник наукових праць "Information Technologies in Education" (ITE), (2), с. 130–139. doi:10.14308/ite000047.