1. (ed.), Handbook of Mathematical Logic (2nd printing), with the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis, and A. S. Troelstra. Studies in Logic and the Foundations of Mathematics 90 (North-Holland, 1978).
2. and , Principle of differential lifting for theories of differential fields and Pierce-Pillay axiomatization. To appear in the Notre Dame Journal of Formal Logic.
3. Algebra (Addison-Wesley, 1973).
4. A Note on the Axioms for Differentially Closed Fields of Characteristic Zero