[Moore56-2] E. Moore, Gadanken Experiments on Sequential Machines, Automata Studies, Princeton University Press, 1956, 129-153 []