The behaviour and simplicity of finite Moore automata - Ádám, András (Akadémiai Kiadó, 1996)