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