The Non-Deterministic Strategy of Rewriting - A. A. Letichevsky; O. A. Letichevskyi; V. S. Peschanenko (Control Systems and Computers, 2013)