Theory of Digital Automata - Borowik, Bohdan; Karpinskyy, Mykola; Lahno, Valery; Petrov, Oleksandr (Springer Netherlands, 2013)