The family of languages satisfying Bar-Hillel's lemma Sándor Horváth — 1978 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications