Logic gates, circuits, processors, compilers and computers - Groote, Jan Friso 1965-; Morel, Rolf; Schmaltz, Julien; Watkins, Adam (Springer, 2021)