1. U. Abraham, Bakery Algorithms, in: Proc. of the Concurrency, Specification and Programming Workshop, 1993, pp. 7-40.
2. Principles of Concurrent and Distributed Programming;Ben-Ari,2006
3. Principles of the Spin Model Checker;Ben-Ari,2008
4. Solution of a problem in concurrent programming control;Dijkstra;Communications of the ACM,1965
5. Distributed FIFO allocation of identical resources using small shared space;Fisher;ACM TOPLAS,1989