C. I. Chesñevar, A. G. Maguitman, M. P. González, and M. L. Cobo, “Teaching fundamentals of computing theory: a constructivist approach”, JCS&T, vol. 4, no. 02, pp. p. 91–97, Aug. 2004.