Classes of languages proof against regular pumping R. Sommerhalder — 1980 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications