Theory of Digital Automata - Borowik, Bohdan (Springer Netherlands, 2013)