Paz, A. “Formal Series, Finiteness Properties and Decision Problems”. Annales Fennici Mathematici, no. 493 (January 23, 1971). Accessed January 10, 2026. https://afm.journal.fi/article/view/134149.