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