Сергієнко Володимир Володимирович. Інваріанто-орієнтована інформаційна технологія незалежної верифікації програмного забезпечення інформаційно-керуючих систем критичного застосування.- Дисертація канд. техн. наук: 05.13.06, Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т". - Х., 2012.- 210 с. : рис.