Topological automataHartmut Ehrig and Wolfgang KühnelR.A.I.R.O. Informatique théorique, 8 R3 (1974) 73-91DOI: https://doi.org/10.1051/ita/197408R300731