The separability of formal languages R. Pinzani and R. Sprugnoli RAIRO. Inform. théor., 16 1 (1982) 13-31 Published online: 01 February 2017 DOI: 10.1051/ita/1982160100131