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.