Montoya, G.; Ravelo, J. A Formal Bridge Between Runtime Assertion Checking and Static Verification of Inheritance. Rev. Tekhné 2016, 1.