A. Paz, “Formal series, finiteness properties and decision problems”, Ann. Fenn. Math., no. 493, Jan. 1971.