Litovsky, Igor. 1991. “Free Submonoids and Minimal ω-Generators of Rω”. Acta Cybernetica 10 (1-2), 35-43. https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3391.