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