Specifications And Verifications Of Transactions In Mobile Environment by Rafat Alshorman & Walter Hussak