Introduction to logic circuits & logic design with Verilog - LaMeres, Brock J. (Springer, 2019)