Udi Boker, Nachum Dershowitz. Honest Computability and Complexity. In Eugenio G. Omodeo, Alberto Policriti, editors, Martin Davis on Computability, Computational Logic, and Mathematical Foundations. Volume 10 of Outstanding Contributions to Logic, pages 151-173, Springer, 2016. [doi]
Abstract is missing.