I need to write a class schema in object-z for the bank account class with two operations:validate and withdraw. I have to keep in mind that in each operation schema, a (delta sign)-list contains only those sate variables that may be changed.

for this first i need to write a state schema bank account and two operations: validate and withdraw that can be applied on a bank account. If any body could help me by sending me the answers to the above