Gécseg, Ferenc and Peák, I. (1972) Algebraic theory of automata. Disquisitiones mathematicae Hungaricae (2). Akadémiai Kiadó, Budapest.