Був розвинений апарат систем алгоритмічних алгебр, в рамках якого Глушковим була сформульована концепція, аналогічна принципу структурного програмування Дейкстри (1968) та доведена фундаментальна теорема про регуляризацію (зведення до структурованої форми) довільного алгоритму, зокрема програми чи мікропрограми. Глушковим був сформульований фундаментальний принцип мікропрограмного управління, згідно з яким абстрактна модель ЕОМ може розглядатись як взаємодія двох автоматів — управляючого та операційного.