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