Michael A. Arbib Coproducts and Decomposable Machines. 278-287 1973 7 J. Comput. Syst. Sci. 3 db/journals/jcss/jcss7.html#Arbib73