MONTOYA, G.; RAVELO, J. A formal bridge between runtime assertion checking and static verification of inheritance. Tekhné, [S. l.], v. 1, n. 14, 2016. DOI: 10.62876/tekhn.v1i14.2651. Disponível em: https://revistasenlinea.saber.ucab.edu.ve/index.php/tekhne/article/view/2651. Acesso em: 14 may. 2025.