Structurally Stable Diffeomorphisms are Dense. In: Bulletin of the American Mathematical Society. Band 78, Nr. 5, 1972, S. 817–818, doi:10.1090/S0002-9904-1972-13047-7.
mit Charles Pugh: Ergodicity of Anosov Actions. In: Inventiones Mathematicae. Band 15, Nr. 1, 1972, S. 1–23, (Digitalisat).
mit Lenore Blum, Steve Smale: On a Theory of Computation and Complexity over the Real Numbers: -Completeness, Recursive Functions and Universal Machines. In: Bulletin of the American Mathematical Society. New Series, Band 21, Nr. 1, 1989, S. 1–46, doi:10.1090/S0273-0979-1989-15750-9.
mit Matthew Grayson, Charles Pugh: Stably ergodic diffeomorphisms. In: Annals of Mathematics. Band 140, Nr. 2, 1994, S. 295–329, JSTOR:2118602.
mit Lenore Blum, Felipe Cucker, Steve Smale: Complexity and real computation. Springer, New York NY u. a. 1997, ISBN 0-387-98281-7.