Jean-Michel Autebert Non-Principalité du Cylindre des Langages à Compteur. 157-167 1977 11 Mathematical Systems Theory db/journals/mst/mst11.html#Autebert77