Or try reading the ethereum yellow paper: https://ethereum.github.io/yellowpaper/paper.pdf

When it gets into the symbolics of the ethereum state machine (section 4+), things get hairy fast. Unfortunately papers like this only make sense once you understand the paper. It's a succinct representation of knowledge for someone skilled in the field, but not a sensible way to teach others about the EVM.