Montoya, Gabriela, y Jesús Ravelo. 2016. «A Formal Bridge Between Runtime Assertion Checking and Static Verification of Inheritance». Tekhné 1 (14). https://revistasenlinea.saber.ucab.edu.ve/index.php/tekhne/article/view/2651.