Control Flow Aspects of an Algebraic Approach to Compiler Generation (Mathematical Studies of Information Processing)