I. Litovsky, “Free submonoids and minimal ω-generators of Rω”, Acta Cybern, vol. 10, no. 1-2, pp. 35-43, Jan. 1991.