ABSTRACT
Amy wakes up in the morning and decides to transfer a sum of $200 from her savings account in Colorado to her checking account in Iowa City where the balance is so low that she cannot write a check to pay her apartment rent. She logs into her home computer and executes the transfer that is translated into a sequence of the following two operations:
Withdraw $200 from Colorado State Bank Account 4311182 Deposit the above amount into Iowa State Bank Account 6761125
Next day, she writes a check to pay her rent. Unfortunately her check bounced. Furthermore, it was found that $200 was debited from her Colorado account, but due to a server failure in Iowa City, no money was deposited to her Iowa account.
