Add yet another reference
Reference progression on beautiful concurrency!
Optimistic execution transaction
Another example with blocking the transfer while the balance amount is
inferior to the transfer amount