Paz, A. Formal Series, Finiteness Properties and Decision Problems. Ann. Fenn. Math. 1971.