Digital electronics. Finite-state machines / Volume 3, (2016)