I. R. Maltseva, Y. O. Protsiuk, Y. O. Chernysh, і M. H. Tyshchenko, «ПРИНЦИПИ ВИЗНАЧЕННЯ НАДІЙНОСТІ ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ ЧЕРЕЗ ВИКОРИСТАННЯ ТОЧНОСТНОЇ ТЕОРІЇ», СІТуСБО, вип. 3(18), с. 56–59, Лис 2013.