Montoya, G., y J. Ravelo. «A Formal Bridge Between Runtime Assertion Checking and Static Verification of Inheritance». Tekhné, vol. 1, n.º 14, enero de 2016, https://revistasenlinea.saber.ucab.edu.ve/index.php/tekhne/article/view/2651.