Montoya, G. y Ravelo, J. 2016. A formal bridge between runtime assertion checking and static verification of inheritance. Tekhné. 1, 14 (ene. 2016).