Montoya, Gabriela, y Jesús Ravelo. 2016. «A Formal Bridge Between Runtime Assertion Checking and Static Verification of Inheritance». Tekhné 1 (14). https://doi.org/10.62876/tekhn.v1i14.2651.