%0 Journal Article
%J Formal Aspects of Computing
%D 2000
%T The Cash-Point (ATM) Problem
%A T. Denvir
%A José Nuno Oliveira
%A Nico Plat
%P 211–215
%V 12
%X <p>This paper provides a description and summary of the solutions submitted to a competition in formal specification, which was held during FM’99 in Toulouse, September 1999.</p>