%0 Journal Article %A A. A. Savelyev %T A completeness criterion for systems of operations in programs with finite memory %J Izvestiâ vysših učebnyh zavedenij. Matematika %D 1987 %P 76-79 %N 7 %I mathdoc %U http://geodesic.mathdoc.fr/item/IVM_1987_7_a12/ %G ru %F IVM_1987_7_a12