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