Montoya, G. y Ravelo, J. (2016) «A formal bridge between runtime assertion checking and static verification of inheritance», Tekhné, 1(14). Disponible en: https://revistasenlinea.saber.ucab.edu.ve/index.php/tekhne/article/view/2651 (Accedido: 6 mayo 2024).