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