1. Mal’tsev A. I., “On recursive abelian groups,” Soviet Math., Dokl., 32, 1431–1434 (1962).
2. Ershov Yu. L., “Existence of constructivizations,” Soviet Math., Dokl., 13, 779–783 (1972).
3. Goncharov S. S., Molokov A. V., and Romanovskij N. S., “Nilpotent groups of finite algorithmic dimension,” Siberian Math. J., 30, No. 1, 63–68 (1989).
4. Roman’kov V. A. and Khisamiev N. G., “Constructive matrix and orderable groups,” Algebra and Logic, 43, No. 3, 198–204 (2004).
5. Roman’kov V. A. and Khisamiev N. G., “Constructible matrix groups,” Algebra and Logic, 43, No. 5, 339–345 (2004).