You might also like my article https://codewords.recurse.com/issues/seven/dragon-taming-with-tailbiter-a-bytecode-compiler https://codewords.recurse.com/issues/

You might also like my article https://codewords.recurse.com/issues/seven/dragon-taming-with-tailbiter-a-bytecode-compiler https://codewords.recurse.com/issues/seven/dragon-taming-wit... -- it's one chapter instead of a whole book, but it does follow your points 2 and 4. (Not 1 because it just uses Python's built-in parser to ASTs, and not 3 because it's just one compiler.) I'm looking forward to Crafting Interpreters too.