Formalization of context-free grammars by means of modified algebra of algorithms. - Volodymyr Ovsyak; Dmytro Bui; Oleksandr Ovsyak; Julia Petruszka (CSIT, 2015)

Research methodology of mathematical support of computing machines and systems. - Volodymyr Ovsyak; Oleksandr Ovsyak; Dmytro Bui; Julia Petruszka (CSIT (1), 2017)