Máquinas de turing para consistentes: una posible definición - Agudelo, Juan C. (Universidad del Valle, 2004)