TermWare-3 – term rewriting system, based on context-term calculus - R. S. Shevchenko; Yu. Doroshenko (Problems in programming, 2019)