@article{MOMA_1977__83_177816,
     author = {E.M. Coven and Michael E. Paul},
     title = {Finite {Procedures} for {Sofic} {Systems.}},
     journal = {Monatshefte f\"ur Mathematik},
     pages = {265--278},
     publisher = {mathdoc},
     volume = {83},
     year = {1977},
     zbl = {0368.28022},
     url = {http://geodesic.mathdoc.fr/item/MOMA_1977__83_177816/}
}