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