G. Montoya y J. Ravelo, «A formal bridge between runtime assertion checking and static verification of inheritance», Rev. Tekhné, vol. 1, n.º 14, ene. 2016.