Paz, A. “Formal Series, Finiteness Properties and Decision Problems”. Annales Fennici Mathematici, no. 493, Jan. 1971, doi:10.5186/aasfm.1971.493.