I was going to reference the same thing. Particularly the text Elements of Computing Systems.
https://mitpress.mit.edu/books/elements-computing-systems