Logic Gates, Circuits, Processors, Compilers and Computers - Jan Friso Groote, Rolf Morel, Julien Schmaltz, Adam Watkins (Springer, 2021)