Formally Reasoning About Quality     
Journal of the ACM, Vol. 63, No. 3, 2016.
With
S. Almagor and O. Kupferman
Honest computability and complexity     
Martin Davis on Computability, Computational Logic, and Mathematical Foundations, Chapter 6. 2016.
With
N. Dershowitz