publicações selecionadas artigo académico The cash-point (ATM) 'problem'. Formal Aspects of Computing. 2000
