Tornar als detalls de l'article
Correcció a l'article "Anàlisi formalment recursiva"
Descarrega el PDF