Denvir T, Oliveira JN, Plat N.? 2000.??The Cash-Point (ATM) Problem. Formal Aspects of Computing. 12:211?215.