The completeness of the algorithm algebra with data - V. G. Akulovskij; A. E. Doroshenko; E. A. Jatsenko (Problems in programming, 2016)