Paz, J. L.; Torrealba, W. Programación Por Chequeo. Rev. Tekhné 2016, 1.