A. Paz, “Formal series, finiteness properties and decision problems”, Ann. Fenn. Math., no. 493, Jan. 1971, doi: 10.5186/aasfm.1971.493.