I think that IOTA Transactions, Confirmation and Consensus is a very good reading. It helped me a lot on understanding IOTA protocol working.
Nevertheless I have a doubt: regarding the Double Spend slide how would transaction 5 see the conflict between two inner double-spending transactions referencing two tips that reference them? Checking and comparing balances of all addresses?