Montoya, G. y Ravelo, J. (2016) «A formal bridge between runtime assertion checking and static verification of inheritance», Tekhné, 1(14). doi: 10.62876/tekhn.v1i14.2651.