Texts Formalization for Technological Purposes. EJPhSE 2018, 163 (5), 114-119.