Montoya, G. y Ravelo, J. 2016. A formal bridge between runtime assertion checking and static verification of inheritance. Tekhné. 1, 14 (ene. 2016). DOI:https://doi.org/10.62876/tekhn.v1i14.2651.