Baldwin John T.; Berman Joel D.: Definable principal congruence relations : kith and kin. In: Acta scientiarum mathematicarum, (44) 3-4. pp. 255-270. (1982)