Paz, J. L., & Torrealba, W. (2016). Programación por Chequeo. Tekhné, 1(11). https://doi.org/10.62876/tekhn.v1i11.2638