Im working my way through Bitcoin: A Game-Theoretic Analysis and it's very relevant given recent conversations over drivechains.
can recommend if you want to understand all the varied technical edge cases in Bitcoin that could be problematic one day.