The separability of formal languages R. Pinzani; R. Sprugnoli — 1982 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications