Equivalence of regular binoid expressions and regular expressions denoting binoid languages over free binoids. - Kosaburo Hashiguchi; Naoto Sakakibara; Shuji Jimbo (Theor. Comput. Sci., 2004)