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