A hierarchical model of the interaction of microprogrammed automata