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