@article {DOP00,
	title = {The Cash-Point (ATM) Problem},
	journal = {Formal Aspects of Computing},
	volume = {12},
	number = {4},
	year = {2000},
	pages = {211{\textendash}215},
	abstract = {<p>This paper provides a description and summary of the solutions submitted to a competition in formal specification, which was held during FM{\textquoteright}99 in Toulouse, September 1999.</p>
},
	author = {T. Denvir and Jos{\'e} Nuno Oliveira and Nico Plat}
}