Paz, A. (1971). Formal series, finiteness properties and decision problems. Annales Fennici Mathematici, (493). https://doi.org/10.5186/aasfm.1971.493