Digital Logic for Computing - John Seiffertt (Springer, 2017)