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