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