Acuña OrtegaOsvaldo. Objetos K-Finitos Y Decidibilidad. Revista de Matemática: Teoría y Aplicaciones 21, no. 1 (enero 1, 2014): 1-10. Accedido abril 7, 2020. https://revistas.ucr.ac.cr/index.php/matematica/article/view/14124.