@JeremyCherfas Hmm, maybe something like From NAND to Tetris or Computer Organization and Design? (Latter I have read; former I heard of later.) Those kind of climb the tower of abstraction from machine up to high-level code, so afterwards, you can move up and down through layers of abstraction as needed.
/@matigo @konrad