card, and containing a printer and a display. Intended for making transactions at stores as per any other purchase with a normal POS terminal - the customer's card would be inserted into the terminal and the appropriate funds would be transferred to the merchant's card inside. The terminal recorded the latest 300 transactions made with it. A 'Cashless ATM' - used like a normal ATM would be, with a Mondex card slot instead of cash withdrawal slot, had a similar feature set to the Mondex-enabled telephones, and like them allowed transfer of funds to and from an associated bank account. A 'Value-Box' - a cash-safe equivalent situated at a bank branch, containing large numbers of Mondex cards to facilitate any transfer made between customers and the bank. Locations Notes: The community trial launch date denominates a public trial of the Mondex scheme in that country, not the internal company trials that began prior. The commercial and trial shutdown dates indicate the point where fund withdrawals from the cards were disabled. References Financial services companies established in 1993 Payment systems Formal methods Z notation Mastercard NatWest Group Stored-value payment card