Selected references G. P. Weeg. The automorphism group of the direct product of strongly related automata. Journal of the ACM, 12(2):187-195, April 1965.