@article{DBLP:journals/tcs/SussmanM03,
author = {Jeremy B. Sussman and
Keith Marzullo},
title = {The Bancomat problem: an example of resource allocation
in a partitionable asynchronous system},
journal = {Theor. Comput. Sci.},
volume = {291},
number = {1},
year = {2003},
pages = {103-131},
ee = {http://dx.doi.org/10.1016/S0304-3975(01)00398-X},
bibsource = {DBLP, http://dblp.uni-trier.de}
}