Методи абстрактного синтезу безпечних автоматів / М. Л. Малиновський, Д. О. Алєнін //
Вісник Харків. нац. техн. ун-ту сіл. госп-ва ім. П. Василенка / ХНТУСГ. - Харків : ХНТУСГ, 2009. - Вип. 87: Проблеми енергозабезп. та енергозбереження в АПК України. - С. 74-76.. - Бібліогр.: с. 76. - ISBN 5-7987-0176Х. (Шифр в БД 631.172(06)/В53-346004)