PAZ, A. Formal series, finiteness properties and decision problems. Annales Fennici Mathematici, [S. l.], n. 493, 1971. DOI: 10.5186/aasfm.1971.493. Disponível em: https://afm.journal.fi/article/view/134149. Acesso em: 26 nov. 2024.