https://www.u-cursos.cl/ingenieria/2010/1/CC3002/1/material_docente/o/275420
05-DesignByContract.pdf