TY - JOUR AU - A. V. Idel'son TI - Algorithms covering a~given algorithm JO - Trudy Matematicheskogo Instituta imeni V.A. Steklova PY - 1967 SP - 89 EP - 105 VL - 93 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/TM_1967_93_a4/ LA - ru ID - TM_1967_93_a4 ER -