W. Sieg, M. Szabó, und D. McLaughlin. Martin Davis on Computability, Computational Logic, and Mathematical Foundations, Volume 10 von Outstanding Contributions to Logic, Springer, (2016)
A. Sieg, B. Mobasher, und R. Burke. Proceedings of the sixteenth ACM conference on Conference on information and knowledge management, Seite 525--534. New York, NY, USA, ACM, (2007)