The separability of formal languagesR. Pinzani and R. SprugnoliRAIRO. Inform. théor., 16 1 (1982) 13-31DOI: https://doi.org/10.1051/ita/1982160100131
