Theory of Digital Automata by Bohdan Borowik & Mykola Karpinskyy