J. L. Paz y W. Torrealba, «Programación por Chequeo», Rev. Tekhné, vol. 1, n.º 11, ene. 2016.