ATM
Account
	deposit(Fixed Point)
	withdrawal(Fixed Point)
	commit() returns Boolean
	commitWith(Account) returns Boolean
	balance() returns Fixed Point
Balance Inquiry
Bank Card Reader
Cash Dispenser
Deposit Slot
Deposit Transaction
Device
Display Device
	display(Text)
	display(Text, Point)
	display(Graphic)
	display(Graphic, Point)
Display Screen
Form
	getNumber(String) returns User Response
Funds Transfer
Input Device
	input() returns User Response
Key
Keypad
Menu
	getChoice(Text) returns User Response
	addItem(Text, any)
Numeric Input Key
Output Device
	eject()
Receipt Printer
Secure Form
Transaction
	execute() returns Boolean
User Interaction
User Message
	InsertValidCard() returns User Response
	InsertDepositEnvelope() returns User Response
	removeCard() returns User Response
	removeReceipt() returns User Response
	removeCash() returns User Response
User Response
	isValid() returns Boolean
	value() returns any
	setValid()
	setInvalid()
	value(any)
Withdrawal Transaction