Montoya, G., & Ravelo, J. (2016). A formal bridge between runtime assertion checking and static verification of inheritance. Tekhné, 1(14). Recuperado a partir de https://revistasenlinea.saber.ucab.edu.ve/index.php/tekhne/article/view/2651