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