@article{AFM_1971_471-500_a7,
     author = {A. Paz},
     title = {Formal series, finiteness properties and decision problems},
     journal = {Annales Fennici Mathematici},
     publisher = {mathdoc},
     volume = {471-500},
     year = {1971},
     doi = {10.5186/aasfm.1971.493},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.5186/aasfm.1971.493/}
}