Nand to Tetris: Building a Modern Computer System from First Principles. - Schocken, Shimon (Communications of the ACM, 2024)