Its an ATM.
You are guaranteed to have no more than one user at a time.
Ordering in this case shouldn't be hard.

Not to beat a dead horse, but transactions aren't the same thing as parallel processing.

The example in the article is atrocious.

Why would you want the withdrawal and balance check to run concurrently?