Tatsuya Motoki An Application of Cohen's Result on Star Height to the Theory of Control Structures. 312-329 1984 29 J. Comput. Syst. Sci. 3 db/journals/jcss/jcss29.html#Motoki84