1. Ershov, Y.L., Goncharov, S.S.: Constructive Models. Plenum, New York (1999)
2. Stoltenberg-Hansen, V., Tucker, J.V.: Effective algebras. In: Handbook of Logic in Computer Science: Semantic Modelling, vol. IV, pp. 357–526. Oxford University Press, Oxford (1995)
3. Rabin, M.O.: Computable algebra, general theory and theory of computable fields. Trans. Am. Math. Soc. 95, 341–360 (1960)
4. Ershov, Y.L.: Theorie der Nummerierungen III. Ziets. Math. Logik Grundl. Math. 23, 289–371 (1977)
5. Nerode, A., Remmel, J.B.: Complexity theoretic algebra I, vector spaces over finite fields. In: Proceedings of Structure in Complexity, 2nd Annual Conference, pp. 218–239. Computer Sci. Press, New York (1987)