Luc Boasson Maurice Nivat Le Cylindre des Langages Linéaires. 147-155 1977 11 Mathematical Systems Theory db/journals/mst/mst11.html#BoassonN77