Элементарные теории конечно-порожденных про-р-колец. Е.Н. Пахотин (1987) Sibirskij matematiceskij zurnal