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