Формализация текстов в технологических целях. EJPhSE 2018, 163 (5), 114-119.