Una implementación de máquinas de reducción - Rodríguez Hernández, Alexis Arturo (2023)