Paz, J. L., y W. Torrealba. «Programación Por Chequeo». Tekhné, vol. 1, n.º 11, enero de 2016, doi:10.62876/tekhn.v1i11.2638.