An algebraic definition for control structures
scientific article; zbMATH DE number 3714895