1. Blum, L.: Differentially closed fields: a model theoretic tour. In: Bass, H., Cassidy, P., Kovacic, J. (eds.) Contributions to Algebra. Academic Press, New York (1977)
2. Fried, M.D., Jarden, M.: Field Arithmetic. Springer, Berlin (1986)
3. Frohlich, A., Shepherdson, J.C.: Effective procedures in field theory. Phil. Trans. Royal Soc. London, Series A 950, 407–432 (1956)
4. Harizanov, V.S.: Pure computable model theory. In: Handbook of Recursive Mathematics, vol. 1, pp. 3–114. Elsevier, Amsterdam (1998)
5. Harrington, L.: Recursively presentable prime models. The Journal of Symbolic Logic 39(2), 305–309 (1974)