Chesñevar, C. I.; Maguitman, A. G.; González, M. P.; Cobo, M. L. Teaching Fundamentals of Computing Theory: A Constructivist Approach. JCS&T 2004, 4, p. 91-97.