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