Guy Cousineau An Algebraic Definition for Control Structures. 175-192 1980 12 Theor. Comput. Sci. db/journals/tcs/tcs12.html#Cousineau80